Re: Different base URL for @xref?

[Eli Zaretskii]

> From: "Alfred M. Szmidt" <address@hidden>
> Date: Tue, 12 May 2009 02:25:34 -0400
> 
> Is it possible to supply a different base URL when using @xref?
> 
> @xref{argp, , Parsing Program Options with Argp, libc, The GNU C
> Library Reference Manual}, for details.
> 
> will produce a local reference to the `libc.html#argp', which isn't
> entierly useful if you are refering to external sources or sources
> living in a different directory; this only happens for HTML output.

That's because HTML doesn't have a way of implicitly searching certain
standard directories.  So you must specify the file name precisely.

> @ifhtml
> See @url{http://www.gnu.org/s/libc/manual/html_node/Argp.html,Parsing Program 
> Options with Argp}, for details. 
> @end ifhtml
> @ifnothtml
> @xref{argp, , Parsing Program Options with Argp, libc, The GNU C Library 
> Reference Manual}, for details.
> @end ifnothtml
> 
> And would like to make it a bit nicer.

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.  If you want something more complex, you will have
to explain how it will work in general.