Doc build: fix URLs for @refs to/from general.

This is a bit ugly, but as far as I can see, it's the only way to
do it without seriously hacking the texi2html init file.

diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile
index 77bc9d194f30f2463a2ba0da58b64081364a1429..eaae4f18baf9886f7360c222f66afc83085618aa 100644 (file)
--- a/Documentation/GNUmakefile
+++ b/Documentation/GNUmakefile
@@ -144,6 +144,9 @@ ifeq ($(out),www)
 local-WWW-1: $(OUT_TEXINFO_MANUALS) $(PDF_FILES) info
 
 local-WWW-2: txt-to-html $(OUT_HTML_FILES) $(DEEP_HTML_FILES) $(source-links) $(OMF_FILES)
+       # fix links from other manuals to general
+       find $(outdir) -name "*.html" | xargs sed -i 's/\.\.\/general\//\.\.\//'
+       ls $(outdir)/*.html | xargs sed -i 's/<a href=\"\.\.\//<a href=\"/'
 endif