pkg-matita/trunk/debian/matita.install

   1 usr/share/matita/help
   2 usr/share/matita/icons
   3 usr/share/matita/AUTHORS
   4 usr/share/matita/LICENSE
   5 usr/share/matita/*.xml
   6 usr/share/matita/*.in
   7 usr/share/matita/*.lang
   8 usr/share/matita/*.gtkrc
   9 usr/share/matita/*.moo
  10 usr/share/matita/*.templ
  11 usr/share/matita/matita usr/bin/
  12 usr/share/matita/matitac usr/bin/
  13 usr/share/matita/matitamake usr/bin/
  14 usr/share/matita/matitadep usr/bin/
  15 usr/share/matita/matitaclean usr/bin/