diff options
| -rw-r--r-- | binutils/binutils.texi | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/binutils/binutils.texi b/binutils/binutils.texi index d10dd62d1a5..516d55036cc 100644 --- a/binutils/binutils.texi +++ b/binutils/binutils.texi @@ -1,11 +1,17 @@ \input texinfo @setfilename binutils.info -@c start-menu +@ifinfo +@format +START-INFO-DIR-ENTRY + * Binutils: (binutils). The GNU binary utilities "ar", "ld", "objdump", "nm", "size", "strip", and "ranlib". -@c end-menu + +END-INFO-DIR-ENTRY +@end format +@end ifinfo @synindex ky cp @c |