From: Richard Kreckel <kreckel@ginac.de>
Date: Sat, 19 Jan 2008 20:50:15 +0000 (+0000)
Subject: * Add table of contents in TeX output.
X-Git-Tag: cln_1-2-0~1
X-Git-Url: https://www.ginac.de/CLN/cln.git//cln.git?a=commitdiff_plain;h=22549ef70fee95faab1e9f2adaf710ba9e0bdabf;p=cln.git

* Add table of contents in TeX output.
---

diff --git a/doc/cln.texi b/doc/cln.texi
index fcbe9e6..7d60d9f 100644
--- a/doc/cln.texi
+++ b/doc/cln.texi
@@ -91,17 +91,16 @@ by the authors.
 @end titlepage
 @page
 
-
+@iftex
 @c Table of contents
-@c @contents
-
+@contents
+@end iftex
 
+@ifinfo
 @node Top
 @top CLN
+@end ifinfo
 
-@c @menu
-@c * Introduction::                Introduction
-@c @end menu
 
 @menu
 * Introduction::