public inbox for newlib-cvs@sourceware.org
help / color / mirror / Atom feed
* [newlib-cygwin/main] libgloss: doc: fix dir info entry usage
@ 2024-01-23 2:58 Michael Frysinger
0 siblings, 0 replies; only message in thread
From: Michael Frysinger @ 2024-01-23 2:58 UTC (permalink / raw)
To: newlib-cvs
https://sourceware.org/git/gitweb.cgi?p=newlib-cygwin.git;h=fd4e96f1afe74daf9c041d651a217e0616f1dc9e
commit fd4e96f1afe74daf9c041d651a217e0616f1dc9e
Author: Mike Frysinger <vapier@gentoo.org>
Date: Tue Dec 26 19:09:29 2023 -0500
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.
Diff:
---
libgloss/doc/porting.texi | 7 ++++---
1 file 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-01-23 2:58 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-01-23 2:58 [newlib-cygwin/main] libgloss: doc: fix dir info entry usage Michael Frysinger
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).