From 1a4e53eecaa09d86bd5e13c6311493ff5d34ae79 Mon Sep 17 00:00:00 2001
From: Marius Vollmer <mvo@zagadka.de>
Date: Mon, 28 Jun 2004 13:19:42 +0000
Subject: [PATCH] (Top): Use @ifnottex instead of @ifinfo for the beneift of
 makeinfo --html.

---
 doc/tutorial/guile-tut.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/tutorial/guile-tut.texi b/doc/tutorial/guile-tut.texi
index d38638b10..cbbf46965 100644
--- a/doc/tutorial/guile-tut.texi
+++ b/doc/tutorial/guile-tut.texi
@@ -52,13 +52,13 @@ by the author.
 @end titlepage
 
 
-@ifinfo
+@ifnottex
 @node Top
 @top Guile Tutorial
-@end ifinfo
+@end ifnottex
 
 @ifinfo
-This file gives a tutorial introductionto Guile.
+This file gives a tutorial introduction to Guile.
 
 Copyright (C) 1997 Free Software Foundation