diff options
author | Erich Eckner <git@eckner.net> | 2020-07-15 22:12:30 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-07-15 22:12:30 +0200 |
commit | 021d56d9d7236dcef8ab40cdd03ad952683d3d12 (patch) | |
tree | bb996f269de72c20f71add83b58bd3ab7d3b3658 /manualPorts/netpbm/reproducible-man-gzip.patch | |
parent | cd67e2eded7548db3c45a53f4446fda132e7d30e (diff) | |
download | crux-ports-021d56d9d7236dcef8ab40cdd03ad952683d3d12.tar.xz |
jbigkit & netpbm neu
Diffstat (limited to 'manualPorts/netpbm/reproducible-man-gzip.patch')
-rw-r--r-- | manualPorts/netpbm/reproducible-man-gzip.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/manualPorts/netpbm/reproducible-man-gzip.patch b/manualPorts/netpbm/reproducible-man-gzip.patch new file mode 100644 index 0000000..f6f4f0d --- /dev/null +++ b/manualPorts/netpbm/reproducible-man-gzip.patch @@ -0,0 +1,16 @@ +diff -aur netpbm-10.73.31.old/buildtools/manpage.mk netpbm-10.73.31/buildtools/manpage.mk +--- netpbm-10.73.31.old/buildtools/manpage.mk 2020-05-28 18:41:20.400790506 +0200 ++++ netpbm-10.73.31/buildtools/manpage.mk 2020-05-28 18:50:50.444143414 +0200 +@@ -388,9 +388,9 @@ + # This will install the generated man pages + installman: + set -x +- for f in netpbm.1 $(MAN1); do if [ -f $$f ]; then gzip <$$f >$(MANDIR)/man1/$$f.gz; fi; done +- for f in $(MAN3); do if [ -f $$f ]; then gzip <$$f >$(MANDIR)/man3/$$f.gz; fi; done +- for f in $(MAN5); do if [ -f $$f ]; then gzip <$$f >$(MANDIR)/man5/$$f.gz; fi; done ++ for f in netpbm.1 $(MAN1); do if [ -f $$f ]; then gzip -n <$$f >$(MANDIR)/man1/$$f.gz; fi; done ++ for f in $(MAN3); do if [ -f $$f ]; then gzip -n <$$f >$(MANDIR)/man3/$$f.gz; fi; done ++ for f in $(MAN5); do if [ -f $$f ]; then gzip -n <$$f >$(MANDIR)/man5/$$f.gz; fi; done + + # This will uninstall them + uninstallman: |