diff options
author | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:19:42 +0000 |
---|---|---|
committer | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:19:42 +0000 |
commit | 1a4e53eecaa09d86bd5e13c6311493ff5d34ae79 (patch) | |
tree | ae5a88fd92e0dd3f1624fb42d28e8edb60beae6c /doc/tutorial | |
parent | 10ba5148c72ebd7b76fe02428d4b57394b08cfea (diff) | |
download | guile-1a4e53eecaa09d86bd5e13c6311493ff5d34ae79.tar.gz |
(Top): Use @ifnottex instead of @ifinfo for the
beneift of makeinfo --html.
Diffstat (limited to 'doc/tutorial')
-rw-r--r-- | doc/tutorial/guile-tut.texi | 6 |
1 files 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 |