From 734dd632fa16c66dabdf47efd588606049cbd9a7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 15 Nov 2007 10:44:45 +0000 Subject: [PATCH] ... --- helm/software/pkg-matita/trunk/debian/control | 2 +- helm/software/pkg-matita/trunk/debian/matita.menu | 4 ++++ helm/software/pkg-matita/trunk/debian/rules | 1 + 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 helm/software/pkg-matita/trunk/debian/matita.menu diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control index 0edd23a52..96fc7ddbc 100644 --- a/helm/software/pkg-matita/trunk/debian/control +++ b/helm/software/pkg-matita/trunk/debian/control @@ -3,7 +3,7 @@ Section: math Priority: optional Maintainer: Enrico Tassi Uploaders: Stefano Zacchiroli -Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch +Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch imagemagick Standards-Version: 3.7.2 XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/pkg-matita/trunk/ XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/pkg-matita/trunk/ diff --git a/helm/software/pkg-matita/trunk/debian/matita.menu b/helm/software/pkg-matita/trunk/debian/matita.menu new file mode 100644 index 000000000..2e4785bc9 --- /dev/null +++ b/helm/software/pkg-matita/trunk/debian/matita.menu @@ -0,0 +1,4 @@ +?package(matita):needs="X11" section="Applications/Science"\ + title="Matita" \ + longtitle="Matita interactive theorem prover" \ + command="/usr/bin/matita" diff --git a/helm/software/pkg-matita/trunk/debian/rules b/helm/software/pkg-matita/trunk/debian/rules index 06a874fd3..c97d080d9 100755 --- a/helm/software/pkg-matita/trunk/debian/rules +++ b/helm/software/pkg-matita/trunk/debian/rules @@ -16,3 +16,4 @@ common-install-arch:: make install-arch DESTDIR=$(DEB_DESTDIR) common-install-indep:: make install-indep DESTDIR=$(DEB_DESTDIR) + find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \; -- 2.39.2