diff options
author | Mike Frysinger <vapier@gentoo.org> | 2023-12-27 03:09:29 +0300 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2024-01-23 04:41:22 +0300 |
commit | fd4e96f1afe74daf9c041d651a217e0616f1dc9e (patch) | |
tree | 84264400a1051cb5fad0b4232e758b8bc9f7cfb3 | |
parent | 6f6427b0534a6e2a90c670c1803584337844d045 (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 |