···11---- a/share/info/porting.info
22-+++ b/share/info/porting.info
33-@@ -16,9 +16,7 @@ a permission notice identical to this one.
44- manual into another language, under the above conditions for modified
55- versions.
66- START-INFO-DIR-ENTRY
77--START-INFO-DIR-ENTRY
88- * Embed with GNU: (porting-). Embed with GNU
99--END-INFO-DIR-ENTRY
1010- END-INFO-DIR-ENTRY
1111-1212- Copyright (C) 1993, 1994, 1995 Cygnus Support