Re: Different base URL for @xref?

[Patrice Dumas]

On Tue, May 12, 2009 at 06:09:10PM +0300, Eli Zaretskii wrote:
> 
> You will have to come up with a complete workable scheme, and AFAIK it
> ain't easy.  Keep in mind that the produced output can be moved to
> another directory or even another machine.  The current scheme assumes
> that all the HTML files produced from the manuals live in the same
> parent directory. 

More precisely (and if I am not mistaking), it is assumed that the 
target is split the same than the manual doing the ref, and that both 
manuals were generated from the same directory, so for an unsplit manual, 
this leads to

manual.html#node

and if the manual is split, this leads to

../manual/node.html#node

--
Pat