Re: pxref

[Robert J. Chassell]

Karl Berry wrote

    A better alternative would be to use the Texinfo XML output, which is
    not dependent on the exact Texinfo language, but (is intended to)
    preserve(s) all the semantics, so that it can be displayed as desired.
    There are some projects doing this now, amazingly enough.

Yes, that is an excellent idea.  It moves a great deal forward,
including DebianDoc.  Which, if any, of the projects are in Emacs?

However, Eli Zaretskii has a point: without educating all users,
including guests, this means that system adminstrators will need to
install 2 sets of manuals.

        Here is an @@pxref parenthetically (@ref{Musings on fossil fuels})

    I think you used @ref where you meant @pxref.  

Yes, my mistake.

    FWIW, my recollection (not checked) is that @pxref produces *note,
    not *Note.

Yes, you are right.  I just checked.  Also, in the default Info
display in CVS GNU Emacs, it produces `see', as does `texi2dvi'.
@pxref displays correctly in the two versions of the Info display and
with xdvi (and presumably others).

-- 
    Robert J. Chassell                         
    address@hidden                         GnuPG Key ID: 004B4AC8
    http://www.rattlesnake.com                  http://www.teak.cc