Patch attachments in coq-doc in Ubuntu Raring

There are no patches associated with coq-doc in Ubuntu Raring at this time.