Patch attachments in coq-doc in Ubuntu Trusty

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