diff options
author | Mike Frysinger <vapier@gentoo.org> | 2023-12-27 03:09:29 +0300 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2023-12-30 05:08:59 +0300 |
commit | acbd70eab3ae45708cd67ee62577f59c9c5feb73 (patch) | |
tree | 2dc0a2d75c97a8d555af99e7a9ca9d7aea4a318f | |
parent | ce02b2abc3fdd6fb8dc9c836ce2fe863f937ce66 (diff) |
libgloss: doc: fix dir info entry usage
Wrapping the dir info with @ifnottex means it's included in all other
outputs like html which makes no sense. Switch to @direntry which is
specific for this content and is automatically written to the output
that makes sense, and omitted from the rest.
-rw-r--r-- | libgloss/doc/porting.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libgloss/doc/porting.texi b/libgloss/doc/porting.texi index 5697a64d0..e3c48845d 100644 --- a/libgloss/doc/porting.texi +++ b/libgloss/doc/porting.texi @@ -43,12 +43,13 @@ Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions. @end titlepage -@ifnottex -@format +@direntry START-INFO-DIR-ENTRY * Embed with GNU: (porting-). Embed with GNU END-INFO-DIR-ENTRY -@end format +@end direntry + +@ifnottex Copyright (c) 1993, 1994, 1995 Cygnus Support Permission is granted to make and distribute verbatim copies of |