-
Committer:
Didier Barvaux
-
Date:
2014-11-09 20:14:25 UTC
-
Revision ID:
didier@barvaux.org-20141109201425-c2bk8euolxztqr7j
Make doxy2man and help2man optional dependencies.
Man pages are generated by doxy2man and help2man. If those tools are not found
on the system, the pre-generated man pages are installed instead.