diff options
Diffstat (limited to 'gas/doc/as.texinfo')
| -rw-r--r-- | gas/doc/as.texinfo | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo index a0776e7..3b78dc6 100644 --- a/gas/doc/as.texinfo +++ b/gas/doc/as.texinfo @@ -87,14 +87,13 @@ @c might as well show 'em anyways. @end ifinfo -@ifinfo -@format -START-INFO-DIR-ENTRY +@ifnottex +@dircategory Software development +@direntry * As: (as). The GNU assembler. * Gas: (as). The GNU assembler. -END-INFO-DIR-ENTRY -@end format -@end ifinfo +@end direntry +@end ifnottex @finalout @syncodeindex ky cp |