+ # install .opt .byte (symlinks are installed with .install
+ mkdir -p debian/matita/usr/bin/
+ cp matita/matita.byte debian/matita/usr/bin/ || true
+ cp matita/matitac.byte debian/matita/usr/bin/ || true
+ cp matita/matita.opt debian/matita/usr/bin/ || true
+ cp matita/matitac.opt debian/matita/usr/bin/ || true
+