diff options
Diffstat (limited to 'archive/gzip/patches/gzip-1.3.5-infodir.patch')
-rw-r--r-- | archive/gzip/patches/gzip-1.3.5-infodir.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/archive/gzip/patches/gzip-1.3.5-infodir.patch b/archive/gzip/patches/gzip-1.3.5-infodir.patch new file mode 100644 index 0000000000..bbe3c0dd9b --- /dev/null +++ b/archive/gzip/patches/gzip-1.3.5-infodir.patch @@ -0,0 +1,38 @@ +Taken from Debian. + +--- gzip-1.3.5/gzip.texi ++++ gzip-1.3.5/gzip.texi +@@ -6,7 +6,14 @@ + @finalout + @setchapternewpage odd + @c %**end of header ++@dircategory Utilities ++@direntry ++* gzip: (gzip). The gzip command for compressing files. ++@end direntry ++ + @copying ++This file documents the GNU `gzip' command for compressing files. ++ + This manual is for Gzip + (version @value{VERSION}, @value{UPDATED}), + and documents commands for compressing and decompressing data. +@@ -31,18 +38,6 @@ + @end quotation + @end copying + +-@c Debian install-info (up through at least version 1.9.20) uses only the +-@c first dircategory. Put this one first, as it is more useful in practice. +-@dircategory Individual utilities +-@direntry +-* gzip: (gzip)Invoking gzip. Compress files. +-@end direntry +- +-@dircategory Utilities +-@direntry +-* Gzip: (gzip). The gzip command for compressing files. +-@end direntry +- + @titlepage + @title gzip + @subtitle The data compression program |