This is the mail archive of the
gdb-patches@sourceware.cygnus.com
mailing list for the GDB project.
Patch to gdb.texinfo
- To: gdb-patches at sourceware dot cygnus dot com
- Subject: Patch to gdb.texinfo
- From: Dmitry Sivachenko <dima at Chg dot RU>
- Date: Tue, 14 Mar 2000 21:32:06 +0300 (MSK)
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}