From 5a079120a00c7def016447c37017ba46121041cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Love=20H=C3=B6rnquist=20=C3=85strand?= <lha@kth.se>
Date: Sun, 24 Apr 2005 09:18:32 +0000
Subject: [PATCH] change the wrapping around the Top node to ifnottex, make
 html generation work

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@14909 ec53bebd-3082-4978-b11e-865c3cabbd6b
---
 doc/heimdal.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/heimdal.texi b/doc/heimdal.texi
index 838271b3d..9e03a507c 100644
--- a/doc/heimdal.texi
+++ b/doc/heimdal.texi
@@ -168,10 +168,10 @@ to the following restrictions:
 @paragraphindent 0
 @end ifinfo
 
-@ifinfo
+@ifnottex
 @node Top, Introduction, (dir), (dir)
 @top Heimdal
-@end ifinfo
+@end ifnottex
 
 @menu
 * Introduction::