diff options
Diffstat (limited to 'sci-misc/gri/files/info-install.patch')
| -rw-r--r-- | sci-misc/gri/files/info-install.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-misc/gri/files/info-install.patch b/sci-misc/gri/files/info-install.patch new file mode 100644 index 000000000000..5c510d236866 --- /dev/null +++ b/sci-misc/gri/files/info-install.patch @@ -0,0 +1,11 @@ +--- doc/Makefile 2003-05-20 21:15:56.000000000 +0200 ++++ doc/Makefile.new 2003-11-18 07:42:47.000000000 +0100 +@@ -124,7 +124,7 @@ + info-install: + $(INSTALL) -d $(INFO_DIR) + cp gri.info* $(INFO_DIR) +- (cd $(INFO_DIR) ; gzip -f --best gri.info gri.info-[0-9] gri.info-[0-9][0-9]) ++ (cd $(INFO_DIR) ; gzip -f --best gri.info gri.info-*) + chmod 644 $(INFO_DIR)/gri.info* + + info-install-solaris: |