diff options
| author | John Wiegley | 2016-01-18 22:56:33 -0800 |
|---|---|---|
| committer | John Wiegley | 2016-01-18 22:56:33 -0800 |
| commit | 6acd2aa02c6f0eb9d3fadce0bb48183837beafd8 (patch) | |
| tree | d236a14dc554951c3e7c5a5b38a3bd98edc1315a /doc/misc | |
| parent | 564c84f4b12482aefe86539d2471607565c3ee7c (diff) | |
| parent | 549a765efeca2748e68a5c6ce6c9238784e82535 (diff) | |
| download | emacs-6acd2aa02c6f0eb9d3fadce0bb48183837beafd8.tar.gz emacs-6acd2aa02c6f0eb9d3fadce0bb48183837beafd8.zip | |
-
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/autotype.texi | 8 | ||||
| -rw-r--r-- | doc/misc/texinfo.tex | 62 |
2 files changed, 65 insertions, 5 deletions
diff --git a/doc/misc/autotype.texi b/doc/misc/autotype.texi index 839782a3b51..6bdbd344c7a 100644 --- a/doc/misc/autotype.texi +++ b/doc/misc/autotype.texi | |||
| @@ -531,15 +531,17 @@ then @code{time-stamp} is conveniently listed as an option in the | |||
| 531 | customization buffer. | 531 | customization buffer. |
| 532 | 532 | ||
| 533 | @vindex time-stamp-active | 533 | @vindex time-stamp-active |
| 534 | @findex time-stamp-toggle-active | ||
| 534 | @vindex time-stamp-format | 535 | @vindex time-stamp-format |
| 535 | @vindex time-stamp-start | 536 | @vindex time-stamp-time-zone |
| 536 | The time stamp is updated only if the customizable variable | 537 | The time stamp is updated only if the customizable variable |
| 537 | @code{time-stamp-active} is on, which it is by default; the command | 538 | @code{time-stamp-active} is on, which it is by default; the command |
| 538 | @code{time-stamp-toggle-active} can be used to toggle it. The format of | 539 | @code{time-stamp-toggle-active} can be used to toggle it. The format of |
| 539 | the time stamp is set by the customizable variable | 540 | the time stamp is set by the customizable variables |
| 540 | @code{time-stamp-format}. | 541 | @code{time-stamp-format} and @code{time-stamp-time-zone}. |
| 541 | 542 | ||
| 542 | @vindex time-stamp-line-limit | 543 | @vindex time-stamp-line-limit |
| 544 | @vindex time-stamp-start | ||
| 543 | @vindex time-stamp-end | 545 | @vindex time-stamp-end |
| 544 | @vindex time-stamp-count | 546 | @vindex time-stamp-count |
| 545 | @vindex time-stamp-inserts-lines | 547 | @vindex time-stamp-inserts-lines |
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index f140bba94b8..936c32dc5f4 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/texinfo.tex | |||
| @@ -3,11 +3,11 @@ | |||
| 3 | % Load plain if necessary, i.e., if running under initex. | 3 | % Load plain if necessary, i.e., if running under initex. |
| 4 | \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi | 4 | \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi |
| 5 | % | 5 | % |
| 6 | \def\texinfoversion{2015-12-20.12} | 6 | \def\texinfoversion{2016-01-11.19} |
| 7 | % | 7 | % |
| 8 | % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, | 8 | % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, |
| 9 | % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, | 9 | % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, |
| 10 | % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 | 10 | % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 |
| 11 | % Free Software Foundation, Inc. | 11 | % Free Software Foundation, Inc. |
| 12 | % | 12 | % |
| 13 | % This texinfo.tex file is free software: you can redistribute it and/or | 13 | % This texinfo.tex file is free software: you can redistribute it and/or |
| @@ -9428,6 +9428,45 @@ directory should work if nowhere else does.} | |||
| 9428 | \global\righthyphenmin = #3\relax | 9428 | \global\righthyphenmin = #3\relax |
| 9429 | } | 9429 | } |
| 9430 | 9430 | ||
| 9431 | % Get input by bytes instead of by UTF-8 codepoints for XeTeX and LuaTeX, | ||
| 9432 | % otherwise the encoding support is completely broken. | ||
| 9433 | \ifx\XeTeXrevision\thisisundefined | ||
| 9434 | \else | ||
| 9435 | \XeTeXdefaultencoding "bytes" % For subsequent files to be read | ||
| 9436 | \XeTeXinputencoding "bytes" % Effective in texinfo.tex only | ||
| 9437 | % Unfortunately, there seems to be no corresponding XeTeX command for | ||
| 9438 | % output encoding. This is a problem for auxiliary index and TOC files. | ||
| 9439 | % The only solution would be perhaps to write out @U{...} sequences in | ||
| 9440 | % place of UTF-8 characters. | ||
| 9441 | \fi | ||
| 9442 | |||
| 9443 | \ifx\luatexversion\thisisundefined | ||
| 9444 | \else | ||
| 9445 | \directlua{ | ||
| 9446 | local utf8_char, byte, gsub = unicode.utf8.char, string.byte, string.gsub | ||
| 9447 | local function convert_char (char) | ||
| 9448 | return utf8_char(byte(char)) | ||
| 9449 | end | ||
| 9450 | |||
| 9451 | local function convert_line (line) | ||
| 9452 | return gsub(line, ".", convert_char) | ||
| 9453 | end | ||
| 9454 | |||
| 9455 | callback.register("process_input_buffer", convert_line) | ||
| 9456 | |||
| 9457 | local function convert_line_out (line) | ||
| 9458 | local line_out = "" | ||
| 9459 | for c in string.utfvalues(line) do | ||
| 9460 | line_out = line_out .. string.char(c) | ||
| 9461 | end | ||
| 9462 | return line_out | ||
| 9463 | end | ||
| 9464 | |||
| 9465 | callback.register("process_output_buffer", convert_line_out) | ||
| 9466 | } | ||
| 9467 | \fi | ||
| 9468 | |||
| 9469 | |||
| 9431 | % Helpers for encodings. | 9470 | % Helpers for encodings. |
| 9432 | % Set the catcode of characters 128 through 255 to the specified number. | 9471 | % Set the catcode of characters 128 through 255 to the specified number. |
| 9433 | % | 9472 | % |
| @@ -9452,6 +9491,14 @@ directory should work if nowhere else does.} | |||
| 9452 | % | 9491 | % |
| 9453 | \def\documentencoding{\parseargusing\filenamecatcodes\documentencodingzzz} | 9492 | \def\documentencoding{\parseargusing\filenamecatcodes\documentencodingzzz} |
| 9454 | \def\documentencodingzzz#1{% | 9493 | \def\documentencodingzzz#1{% |
| 9494 | % Get input by bytes instead of by UTF-8 codepoints for XeTeX, | ||
| 9495 | % otherwise the encoding support is completely broken. | ||
| 9496 | % This settings is for the document root file. | ||
| 9497 | \ifx\XeTeXrevision\thisisundefined | ||
| 9498 | \else | ||
| 9499 | \XeTeXinputencoding "bytes" | ||
| 9500 | \fi | ||
| 9501 | % | ||
| 9455 | % Encoding being declared for the document. | 9502 | % Encoding being declared for the document. |
| 9456 | \def\declaredencoding{\csname #1.enc\endcsname}% | 9503 | \def\declaredencoding{\csname #1.enc\endcsname}% |
| 9457 | % | 9504 | % |
| @@ -11004,9 +11051,20 @@ directory should work if nowhere else does.} | |||
| 11004 | {@catcode`@^=7 @catcode`@^^M=13% | 11051 | {@catcode`@^=7 @catcode`@^^M=13% |
| 11005 | @gdef@eatinput input texinfo#1^^M{@fixbackslash}} | 11052 | @gdef@eatinput input texinfo#1^^M{@fixbackslash}} |
| 11006 | 11053 | ||
| 11054 | % Emergency active definition of newline, in case an active newline token | ||
| 11055 | % appears by mistake. | ||
| 11056 | {@catcode`@^=7 @catcode13=13% | ||
| 11057 | @gdef@enableemergencynewline{% | ||
| 11058 | @gdef^^M{% | ||
| 11059 | @par% | ||
| 11060 | %<warning: active newline>@par% | ||
| 11061 | }}} | ||
| 11062 | |||
| 11063 | |||
| 11007 | @gdef@fixbackslash{% | 11064 | @gdef@fixbackslash{% |
| 11008 | @ifx\@eatinput @let\ = @ttbackslash @fi | 11065 | @ifx\@eatinput @let\ = @ttbackslash @fi |
| 11009 | @catcode13=5 % regular end of line | 11066 | @catcode13=5 % regular end of line |
| 11067 | @enableemergencynewline | ||
| 11010 | @let@c=@texinfoc | 11068 | @let@c=@texinfoc |
| 11011 | % Also turn back on active characters that might appear in the input | 11069 | % Also turn back on active characters that might appear in the input |
| 11012 | % file name, in case not using a pre-dumped format. | 11070 | % file name, in case not using a pre-dumped format. |