diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/texinfo.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index 6d9d7113f77..1ea515b2ae4 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/texinfo.tex | |||
| @@ -5,7 +5,7 @@ | |||
| 5 | % | 5 | % |
| 6 | \def\texinfoversion{2019-09-24.13} | 6 | \def\texinfoversion{2019-09-24.13} |
| 7 | % | 7 | % |
| 8 | % Copyright 1985--1986, 1988, 1990--2020 Free Software Foundation, Inc. | 8 | % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc. |
| 9 | % | 9 | % |
| 10 | % This texinfo.tex file is free software: you can redistribute it and/or | 10 | % This texinfo.tex file is free software: you can redistribute it and/or |
| 11 | % modify it under the terms of the GNU General Public License as | 11 | % modify it under the terms of the GNU General Public License as |
| @@ -7690,7 +7690,7 @@ might help (with 'rm \jobname.?? \jobname.??s')% | |||
| 7690 | % If SUBTOPIC is present, precede it with a space, and call \doind. | 7690 | % If SUBTOPIC is present, precede it with a space, and call \doind. |
| 7691 | % (At some time during the 20th century, this made a two-level entry in an | 7691 | % (At some time during the 20th century, this made a two-level entry in an |
| 7692 | % index such as the operation index. Nobody seemed to notice the change in | 7692 | % index such as the operation index. Nobody seemed to notice the change in |
| 7693 | % behavior though.) | 7693 | % behaviour though.) |
| 7694 | \def\dosubind#1#2#3{% | 7694 | \def\dosubind#1#2#3{% |
| 7695 | \def\thirdarg{#3}% | 7695 | \def\thirdarg{#3}% |
| 7696 | \ifx\thirdarg\empty | 7696 | \ifx\thirdarg\empty |