This is the mail archive of the gdb-patches@sourceware.cygnus.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Patch to gdb.texinfo


Hello!
This patch should fix formatting with makeinfo --html.
Patch was made against revision 1.1.1.14.

--dima

--- gdb.texinfo	Tue Mar 14 18:24:59 2000
+++ gdb.1.1.1.14.texinfo	Tue Mar 14 18:25:36 2000
@@ -114,7 +114,7 @@
 @end titlepage
 @page
 
-@ifinfo
+@ifnottex
 @node Top
 @top Debugging with @value{GDBN}
 
@@ -156,7 +156,7 @@
 * Index::                       Index
 @end menu
 
-@end ifinfo
+@end ifnottex
 
 @node Summary
 @unnumbered Summary of @value{GDBN}

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]