diff options
| -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 |