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

[Karl Berry]

    Per> CVS makeinfo gives a lots of warnings as in the Subject.

    Patrice> ]...] I'd be in favor of removing the warning as the result
    is likely to be clean in other formats and I think that if the
    output is ugly in Info it is because of limitations of the Info format.

    Karl?

I'm ok with dropping the warning.

Thanks,
k