Re: pdf and certain macro expansion

[Dumas Patrice]

>   makeinfo --html-xref-prefix=STRING
> 
> The defaults would be as they are now: PREFIX is empty if --no-split, or
> "../" if splitting.  But people could put in
> "http://www.gnu.org/manual/"; or some local url or nearby mirror or whatever.
> 
> Wdyt?  Would this help?  At least it should make it possible for
> maintainers to construct html with links that work.  Fitting every
> possible user scenario seems impossible to me.

It doesn't solve the issue when the top level directory is different for 
the different manuals. Maybe it could be possible to associate a manual 
with a top level directory at invocation time ?

Pat