Re: warning: @ref should not appear in @deffn

[Karl Berry]

    I don't think there is a way to prevent pages from being output
    in TeX cross refs.

Right now, that is true, though it would be simple to conditionally omit
it.  The hard part is figuring out the document-level interface.  No
ideas are springing to mind.

It would also introduce a difference between DVI and PDF, I guess, since
only PDF has the whole concept of "link" and so in DVI we'd end up with
a cross-reference that doesn't have any actual cross-reference
information, which seems pretty pointless.

k