* doc/gpl.texi: Use @center for Info.
authorNIIBE Yutaka <gniibe@fsij.org>
Thu, 1 May 2014 04:59:02 +0000 (13:59 +0900)
committerNIIBE Yutaka <gniibe@fsij.org>
Thu, 1 May 2014 04:59:02 +0000 (13:59 +0900)
doc/gpl.texi

index ca0508f..92d087c 100644 (file)
@@ -12,7 +12,12 @@ Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.
 @end display
 
+@iftex
 @appendixsubsec Preamble
+@end iftex
+@ifinfo
+@center Preamble
+@end ifinfo
 
   The licenses for most software are designed to take away your
 freedom to share and change it.  By contrast, the GNU General Public