help2man --name="Matita interative theorem prover - dependency analyzer" -N \
$(DEB_DESTDIR)/usr/share/matita/matitadep \
| gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
if [ -e $(DEB_DESTDIR)/usr/share/matita/matita.opt ]; then\
for P in $(DEB_DESTDIR)/usr/share/matita/*.opt; do\
help2man --name="Matita interative theorem prover - dependency analyzer" -N \
$(DEB_DESTDIR)/usr/share/matita/matitadep \
| gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
if [ -e $(DEB_DESTDIR)/usr/share/matita/matita.opt ]; then\
for P in $(DEB_DESTDIR)/usr/share/matita/*.opt; do\