Upload of coq-doc

[Samuel Mimram]

Hi,
Could someone make an upload of the coq-doc package for me, which 
corrects Stefano's remarks?

Thanks in advance.
Regards,
Samuel.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]