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