bug-texinfo
[Top][All Lists]
Advanced

[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




reply via email to

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