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.

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