diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-06-28 19:38:44 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-28 19:38:44 +0100 |
| commit | 17ba30fcfb7751f08296c8e4caa05f20bb0813c5 (patch) | |
| tree | 1228745a8930693aa1b707f9882a9785ca63bff3 /dev-lang/R/files/R-4.3.0-no-gzip-doc.patch | |
| parent | 1919539ec916b166ea3a7b6c5778c40d5bccad70 (diff) | |
gentoo auto-resync : 28:06:2023 - 19:38:44
Diffstat (limited to 'dev-lang/R/files/R-4.3.0-no-gzip-doc.patch')
| -rw-r--r-- | dev-lang/R/files/R-4.3.0-no-gzip-doc.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/R/files/R-4.3.0-no-gzip-doc.patch b/dev-lang/R/files/R-4.3.0-no-gzip-doc.patch new file mode 100644 index 000000000000..49fbecc3a641 --- /dev/null +++ b/dev-lang/R/files/R-4.3.0-no-gzip-doc.patch @@ -0,0 +1,10 @@ +--- a/doc/manual/Makefile.in ++++ b/doc/manual/Makefile.in +@@ -345,7 +345,6 @@ + @$(ECHO) "installing R info pages ..." + @for f in $(OBJECTS_INFO:.info=.info*); do \ + $(INSTALL_DATA) $${f} "$(DESTDIR)$(infodir)"; \ +- $(R_GZIPCMD) -f "$(DESTDIR)$(infodir)/$${f}"; \ + done + @$(ECHO) "updating '$(infodir)/dir' ..." + @for f in $(OBJECTS_INFO); do \ |