From ad776381a262bfb6df07421e91db229bbfd495d9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 08:06:40 +0000 Subject: [PATCH] ... --- helm/software/pkg-matita/trunk/debian/matita.menu | 2 +- helm/software/pkg-matita/trunk/debian/rules | 10 ++-------- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/helm/software/pkg-matita/trunk/debian/matita.menu b/helm/software/pkg-matita/trunk/debian/matita.menu index dcf28d7b6..97541931e 100644 --- a/helm/software/pkg-matita/trunk/debian/matita.menu +++ b/helm/software/pkg-matita/trunk/debian/matita.menu @@ -1,4 +1,4 @@ -?package(matita):needs="X11" section="Applications/Science"\ +?package(matita):needs="X11" section="Applications/Mathematics"\ 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 70d063137..dd0a27c82 100755 --- a/helm/software/pkg-matita/trunk/debian/rules +++ b/helm/software/pkg-matita/trunk/debian/rules @@ -20,10 +20,6 @@ common-install-arch:: # generate manpages mkdir -p $(DEB_DESTDIR)/usr/share/man/man1/ MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ - help2man --name="Matita interative theorem prover" -N \ - $(DEB_DESTDIR)/usr/share/matita/matita \ - | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matita.1.gz - MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \ help2man --name="Matita interative theorem prover - batch compiler" -N \ $(DEB_DESTDIR)/usr/share/matita/matitac \ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitac.1.gz @@ -39,11 +35,9 @@ common-install-arch:: help2man --name="Matita interative theorem prover - dependency analyzer" -N \ $(DEB_DESTDIR)/usr/share/matita/matitadep \ | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitadep.1.gz - 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 \ + 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/`basename $$P`.1.gz;\ - done;\ fi # install .opt .byte (symlinks are installed with .install mkdir -p debian/matita/usr/bin/ -- 2.39.2