Re: Different base URL for @xref?

[Alfred M. Szmidt]

   > 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

I like this better than what I purposed, would it be possible to also
use srcdir/texinfo?  I would suggest one line instead of two:

  manual split-dir-manual mono-manual.html

I do not see why it should be two.

   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.

I can't wait!