Re: Concept clash of gendocs.sh and HTML Xref links

[Karl Berry]

Hi Ralf,

    The advice in HTML Xref links, however, advises to use a single
    directory for all manuals:

I guess I need to change that somehow.  The idea of that paragraph was
the (hypothetical) case of trying to build a directory of documentation
for everything on the system (like $(infodir)), rather than setting up
per-package web pages.  Since the former is not done in practice, and
the latter is, I should explain it better.

    (I assume instead of "manual.html","<name_of_package>.html" is meant.)

Right.

    Is there a way around this?

What I have done to work around this present deficiency in makeinfo is
set up symlinks in the html dirs (like manual/preview-latex and
manual/preview-latex/html_node/), using the .symlinks feature of
gnu.org.  I have also resorted to postprocessing the html.  Of course
neither is a good solution.

Patrice Dumas and I worked out a scheme to allow links to external
manuals to be controlled from a configuration file.  I believe he has
implemented it in texi2html, but I haven't implemented it in
makeinfo.  (If anyone would like to tackle this project, let me know!)

So I guess using texi2html with an appropriate config file might be
another option, although I'm not aware of any GNU project which has done
it that way.

Thanks for writing,
Karl