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

[Patrice Dumas]

On Thu, Jan 04, 2007 at 09:07:17AM -0600, Karl Berry wrote:
> 
>     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.

Could it be possible, instead, to change gendoc.sh such that it installs 
all the html manuals in a directory relative to the directory gendoc.sh
is run from? For example, for preview-latex, it would put the split manual
in 
../html-split/preview-latex/
the unsplit manual in
../html-unsplit/preview-latex.html
and the remaining in preview-manual/

Where is gendoc.sh, by the way?

> 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!)

It is indeed in the latest texi2html, but I am not convinced that it is 
the simplest way to go.

For reference it searches a file named htmlxref.cnf in 

./.texinfo/
$ENV{'HOME'}/.texinfo/
$sysconfdir/texinfo/
$datadir/texinfo/

In that file there is a line for each manual, first on the line there is 
the manual name, then 'split' or 'mono' which should be set depending on 
whether the manual is split or not, and then an optional base url for 
the manual.

--
Pat