diff options
| -rw-r--r-- | man/texinfo.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/man/texinfo.tex b/man/texinfo.tex index a7225c8a37e..27f804eb55f 100644 --- a/man/texinfo.tex +++ b/man/texinfo.tex | |||
| @@ -3,7 +3,7 @@ | |||
| 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{2002-06-04.06} | 6 | \def\texinfoversion{2003-10-06.16} |
| 7 | % | 7 | % |
| 8 | % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, | 8 | % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, |
| 9 | % 2000, 01, 02 Free Software Foundation, Inc. | 9 | % 2000, 01, 02 Free Software Foundation, Inc. |
| @@ -6340,4 +6340,6 @@ should work if nowhere else does.} | |||
| 6340 | @c time-stamp-end: "}" | 6340 | @c time-stamp-end: "}" |
| 6341 | @c End: | 6341 | @c End: |
| 6342 | 6342 | ||
| 6343 | % arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 | 6343 | @ignore |
| 6344 | arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 | ||
| 6345 | @end ignore | ||