Sorry, I can't follow how your suggestion is different than using an
anchor and Texinfo cross-manual reference.  This sort of thing is
precisely why I already went to the trouble of creating and maintaining
a mapping from texinfo manual names to web locations.  As you probably
know.  (File htmlxref.cnf on ftp.gnu.org:gnu/texinfo among other places.)

k



Reply via email to