From 3673889fb8c625404088a36619534535e7cf2d5d Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Tue, 12 Jun 2018 16:46:23 -0700 Subject: [PATCH] Fix "(dir)" links in makeinfo's html. --- doc/make-common.in | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.25.1