From 22549ef70fee95faab1e9f2adaf710ba9e0bdabf Mon Sep 17 00:00:00 2001
From: Richard Kreckel <kreckel@ginac.de>
Date: Sat, 19 Jan 2008 20:50:15 +0000
Subject: [PATCH] * Add table of contents in TeX output.

---
 doc/cln.texi | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

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