aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc/texinfo.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc/texinfo.tex')
-rw-r--r--doc/misc/texinfo.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex
index cfe83359f65..7c4520637a7 100644
--- a/doc/misc/texinfo.tex
+++ b/doc/misc/texinfo.tex
@@ -5,7 +5,7 @@
5% 5%
6\def\texinfoversion{2022-12-19.22} 6\def\texinfoversion{2022-12-19.22}
7% 7%
8% Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc. 8% Copyright 1985--1986, 1988, 1990--2023 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