[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Different base URL for @xref?

From: Eli Zaretskii
Subject: Re: Different base URL for @xref?
Date: Tue, 12 May 2009 20:34:46 +0300

> Date: Tue, 12 May 2009 17:46:24 +0200
> From: Patrice Dumas <address@hidden>
> 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

That's right.

There just isn't any reasonable way of knowing how is the other manual
split on the target machine.  So makeinfo uses an algorithm that at
least gives predictable results and lets the user control the exact
form of the output via the --split option.  That way, at least the
user can have all her manuals produced in some consistent way that
makes inter-manual links work.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]