From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Tue, 12 Jun 2018 23:46:23 +0000 (-0700)
Subject: Fix "(dir)" links in makeinfo's html.
X-Git-Tag: mit-scheme-pucked-9.2.15~12
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=3673889fb8c625404088a36619534535e7cf2d5d;p=mit-scheme.git

Fix "(dir)" links in makeinfo's html.
---

diff --git a/doc/make-common.in b/doc/make-common.in
index 319de107c..7e4595de7 100644
--- a/doc/make-common.in
+++ b/doc/make-common.in
@@ -84,6 +84,8 @@ $(INFO_TARGET): $(SOURCES)
 $(HTML_TARGET)/index.html: $(SOURCES)
 	rm -rf $(HTML_TARGET)
 	makeinfo --html --css-ref=../style.css $(TEXINFO_ROOT).texinfo
+	sed -e 's,href="../dir/index.html",href="../index.html",g' $@ >$@.fixed
+	mv $@.fixed $@
 
 $(PDF_TARGET): $(SOURCES)
 	texi2dvi --pdf $(TEX_OPTIONS) --output=$@ $(TEXINFO_ROOT).texinfo