summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEli Schwartz <eschwartz@archlinux.org>2020-06-22 18:03:12 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-08-18 15:39:30 -0400
commita87a0b498f4c93c33e3db8d7f68fbaa5d812b408 (patch)
tree4126c6944a0192d7a9b065164537642e8beaa210
parent3ac6ae7c8d5a66bfe36973d1e92f3feef482d589 (diff)
downloadhaskell-a87a0b498f4c93c33e3db8d7f68fbaa5d812b408.tar.gz
install: do not install sphinx doctrees
These files are 100% not needed at install time, and they contain unreproducible info. See https://reproducible-builds.org/ for why this matters.
-rw-r--r--ghc.mk5
1 files changed, 5 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index fc266638f7..5c9479e6a3 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -934,6 +934,11 @@ ifneq "$(INSTALL_HTML_DOC_DIRS)" ""
for i in $(INSTALL_HTML_DOC_DIRS); do \
$(CP) -Rp $$i "$(DESTDIR)$(docdir)/html"; \
done
+ for i in "$(DESTDIR)$(docdir)/html"/*/.doctrees; do \
+ if [ -d "$$i" ]; then \
+ rm -r "$$i"; \
+ fi \
+ done
endif
INSTALLED_PACKAGE_CONF=$(DESTDIR)$(topdir)/package.conf.d