[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: pdf and certain macro expansion
From: |
Karl Berry |
Subject: |
Re: pdf and certain macro expansion |
Date: |
Tue, 6 May 2003 10:12:59 -0400 |
The gmp web page is
http://www.swox.com/gmp
As an aside, perhaps this should be mentioned at
http://www.gnu.org/software/gmp/ ?
Also, swox.com seems to be down right now. Timed out.
replace "../emacs" (or "emacs.html" if they use --no-split) to a
nearby mirror for anything not available locally.
Back on the real issue, how about if we introduce an option to makeinfo
to allow people to override the top-level filename in html xref output?
Something like
makeinfo --html-xref-prefix=STRING
and then @xref{Top,,,foo}
would generate
PREFIXfoo.html#Top
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.
This seems like an invocation-level thing to me, not a Texinfo-level
thing, so I don't think we'd want to make a command for it.
This won't help in the case where the actual target html files aren't
constructed the way makeinfo expects, that is, you couldn't get a link
to something/node_99.html. But as I said, I'm not sure we really want
to encourage that anyway, since it's unmaintainable.
Perhaps we should also introduce an option to control whether
foo.html#Top or foo.html/Top.html is generated, independent of whether
the present source is being generated split or --no-split.
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.
Thanks,
karl