| gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
if [ -e $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\
ln -s /usr/share/man/man1/matitac.1.gz \
| gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz
if [ -e $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\
ln -s /usr/share/man/man1/matitac.1.gz \