From: Alexei Sheplyakov <varg@theor.jinr.ru>
Date: Tue, 27 May 2008 06:35:54 +0000 (+0400)
Subject: cln.texi: display copyright information in the info file, ...
X-Git-Tag: cln_1-3-0~29
X-Git-Url: https://www.ginac.de/CLN/cln.git//cln.git?a=commitdiff_plain;h=050f512c5a6856d7f9f587cc109e57fedfee5b76;p=cln.git

cln.texi: display copyright information in the info file, ...

... use @ifnottex instead of @ifinfo so relevant pages are included into
the HTML version of the manual.
---

diff --git a/doc/cln.texi b/doc/cln.texi
index d0b079c..963d050 100644
--- a/doc/cln.texi
+++ b/doc/cln.texi
@@ -23,10 +23,14 @@
 @synindex pg my
 @synindex tp my
 
+@ifnottex
+@node Top
+@top CLN
+@end ifnottex
 
 @c For `info' only.
-@ifinfo
-This file documents @sc{cln}, a Class Library for Numbers.
+@ifnottex
+This manual documents @sc{cln}, a Class Library for Numbers.
 
 Published by Bruno Haible, @code{<haible@@clisp.cons.org>} and
 Richard B. Kreckel, @code{<kreckel@@ginac.de>}.
@@ -54,7 +58,7 @@ Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions,
 except that this permission notice may be stated in a translation approved
 by the author.
-@end ifinfo
+@end ifnottex
 
 
 @c For TeX only.
@@ -96,11 +100,6 @@ by the authors.
 @contents
 @end iftex
 
-@ifinfo
-@node Top
-@top CLN
-@end ifinfo
-
 
 @menu
 * Introduction::