From 050f512c5a6856d7f9f587cc109e57fedfee5b76 Mon Sep 17 00:00:00 2001
From: Alexei Sheplyakov <varg@theor.jinr.ru>
Date: Tue, 27 May 2008 10:35:54 +0400
Subject: [PATCH] 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.
---
 doc/cln.texi | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

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::