- if [ -e $(DEB_DESTDIR)/usr/share/matita/matita.opt ]; then\
- for P in $(DEB_DESTDIR)/usr/share/matita/*.opt; do\
- ln -s /usr/share/man/man1/$(basename $$P .opt).1.gz \
- $(DEB_DESTDIR)/usr/share/man/man1/$(basename $$P).1.gz\
- done\
+ if [ -e $(DEB_DESTDIR)/usr/share/matita/matitac.opt ]; then\
+ ln -s /usr/share/man/man1/matitac.1.gz \
+ $(DEB_DESTDIR)/usr/share/man/man1/matitac.opt.1.gz;\