all:
	pod2man dh_coq > dh_coq.1
