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

diff --git a/doc/make-common.in b/doc/make-common.in
index 319de107c991a952063fd33e5f4e3ed83e2ae1f1..7e4595de778848036e25b797f8044b680261965e 100644 (file)
--- 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