inforef

[Luc Teirlinck]

The documentation of @inforef in `(texinfo)inforef' is somewhat
unclear.  I personally interpret it as meaning that @inforef is meant
to be used when no _published_ manual is available, even though the
user can produce printed output himself using texi2dvi.  Others
interpret it as meaning that no printed output can be produced
because, for instance, the info file was not produced from Texinfo
source.

(texinfo)inforef' itself uses info.texi as an example, which is, of
course, Texinfo source and for which a printed manual can be printed
out by the user.  In the HTML output, @inforef produces a hyperlink to
an HTML manual, which could not be produced (or so I believe) if the
Info file was not produced from Texinfo source.  I believe that this
supports my interpretation of @inforef as applying to situations where
no published manual is available.  But could you please clarify this?

Sincerely,

Luc.