usr/share/matita/*.templ
usr/share/matita/matita usr/bin/
usr/share/matita/matitac usr/bin/
-usr/share/matita/matita.opt usr/bin/
-usr/share/matita/matitac.opt usr/bin/
usr/share/matita/matitamake usr/bin/
usr/share/matita/matitadep usr/bin/
usr/share/matita/matitaclean usr/bin/
+usr/share/man/* usr/share/man/