Re: [DOC] CP_TYPE_QUALS -> cp_type_quals

[Paolo Carlini]

.. I applied the patch after running make info and make dvi, seems 
obvious to me.

Thanks,
Paolo.