aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc')
-rw-r--r--doc/misc/texinfo.tex4
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