diff options
| author | Daniel Jacobowitz <drow@false.org> | 2002-03-08 04:21:51 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <drow@false.org> | 2002-03-08 04:21:51 +0000 |
| commit | 2e64b66588301f15138d5c2943a93973a78c96df (patch) | |
| tree | 1569936e8f943ddb03c296c6c539c0dba9d689e6 /gas/doc | |
| parent | 84ec0e6d8028fbc42241ec73b5b618d56e3b9d1b (diff) | |
| download | gdb-2e64b66588301f15138d5c2943a93973a78c96df.zip gdb-2e64b66588301f15138d5c2943a93973a78c96df.tar.gz gdb-2e64b66588301f15138d5c2943a93973a78c96df.tar.bz2 | |
2002-03-07 Daniel Jacobowitz <drow@mvista.com>
* doc/as.texinfo: Wrap @menu in @ifnottex, not @ifinfo.
Diffstat (limited to 'gas/doc')
| -rw-r--r-- | gas/doc/as.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo index 03a76ec..b6c14fa 100644 --- a/gas/doc/as.texinfo +++ b/gas/doc/as.texinfo @@ -195,7 +195,7 @@ Copyright @copyright{} 1991, 92, 93, 94, 95, 96, 97, 98, 99, 2000, 2001, 2002 Fr @end titlepage -@ifinfo +@ifnottex @node Top @top Using @value{AS} @@ -224,7 +224,7 @@ section entitled "GNU Free Documentation License". * GNU Free Documentation License:: GNU Free Documentation License * Index:: Index @end menu -@end ifinfo +@end ifnottex @node Overview @chapter Overview |