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.
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)
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=\"/'