[newlib-cygwin/main] libgloss: doc: fix dir info entry usage

[Michael Frysinger <vapier@sourceware.org>]

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