Re: Different base URL for @xref?

[Patrice Dumas]

On Tue, May 12, 2009 at 02:25:34AM -0400, Alfred M. Szmidt wrote:
> Is it possible to supply a different base URL when using @xref?

In fact, when doing the proposal for inter html manual references, we
(Karl, if I remember well) came up with a proposal for specifying urls 
for manuals. This implies a htmlxref.cnf located in $sharedir/texinfo 
$sysconfdir/texinfo or $HOME/.texinfo with one line per manual, like

manual split split-dir-manual/
manual mono   mono-manual.html

It was never implemented in makeinfo, but it is implemented in texi2html.
If the plan to have texi2html replace makeinfo is achieved (should be in 
2 or 3 months) this feature will be available.

--
Pat