diff man/xemacs/xemacs.texi @ 696:5596b330879a

[xemacs-hg @ 2001-12-15 19:25:19 by adrian] [PATCH APPROVE COMMIT RECOMMEND 21.4] xemacs-21.5: man fixes for improved HTML online docs <3d2cqod9.fsf@mailto.t-online.de>
author adrian
date Sat, 15 Dec 2001 19:25:21 +0000
parents c33ae14dd6d0
children b3e062e7368f
line wrap: on
line diff
--- a/man/xemacs/xemacs.texi	Sat Dec 15 11:46:34 2001 +0000
+++ b/man/xemacs/xemacs.texi	Sat Dec 15 19:25:21 2001 +0000
@@ -88,7 +88,7 @@
 translation approved by the author instead of in the original English.
 @end titlepage
 @page
-@ifinfo
+@ifnottex
 @node Top, License,, (dir)
 @top The XEmacs Editor
 
@@ -102,7 +102,7 @@
 you are looking for an introductory manual, see the New User's
 Guide.
 
-@end ifinfo
+@end ifnottex
 @menu
 * License::     The GNU General Public License gives you permission
 		to redistribute XEmacs on certain terms; and also