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