summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-26 02:24:35 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-26 02:24:35 +0200
commit7958fdaae2f342a6ffe4c54ebc8c1b76bf80b490 (patch)
tree26953404070d278a53efe4b062e376e9bb904515
parent9fbbb4de17883a6b148a6dd098c726bef01a5c1b (diff)
Fix gpl.texi build
texinfo does not support @heading/@center in the middle of an enumerate. * doc/gpl.texi: Move "NO WARRANTY" to item heading.
-rw-r--r--doc/gpl.texi9
1 files changed, 1 insertions, 8 deletions
diff --git a/doc/gpl.texi b/doc/gpl.texi
index 1a4dfcb..c1f025e 100644
--- a/doc/gpl.texi
+++ b/doc/gpl.texi
@@ -283,15 +283,8 @@ make exceptions for this. Our decision will be guided by the two goals
of preserving the free status of all derivatives of our free software and
of promoting the sharing and reuse of software generally.
-@iftex
-@heading NO WARRANTY
-@end iftex
-@ifinfo
-@center NO WARRANTY
+@item NO WARRANTY
-@end ifinfo
-
-@item
BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN
OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES