New upstream release.debian/8.1.pl1+dfsg-1

6 files changed, 13 insertions, 7 deletions

diff --git a/debian/changelog b/debian/changelog
index aaccc9a9..84b48e29 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.1.pl1+dfsg-1) unstable; urgency=low
+
+  * New upstream release.
+
+ -- Samuel Mimram <smimram@debian.org>  Sat, 18 Aug 2007 20:59:45 +0200
+
 coq (8.1+dfsg-6) unstable; urgency=low
 
   * Add dependencies on ${misc:Depends}, closes: #431679.
diff --git a/debian/coq.menu b/debian/coq.menu
index 0a1e30f7..0552ecb8 100644
--- a/debian/coq.menu
+++ b/debian/coq.menu
@@ -1,4 +1,4 @@
 ?package(coq):command="/usr/bin/coqtop" \
   icon="/usr/share/pixmaps/coq.xpm" \
   needs="text" \
-  section="Apps/Math" title="Coq"
+  section="Applications/Science/Mathematics" title="Coq"
diff --git a/debian/coqide.desktop b/debian/coqide.desktop
index c56bfec4..8c1a0c60 100644
--- a/debian/coqide.desktop
+++ b/debian/coqide.desktop
@@ -4,6 +4,6 @@ Name=CoqIDE Proof Assistant
 Comment=Graphical interface for the Coq proof assistant
 Exec=coqide
 Type=Application
-Categories=Application;Development;Science;Math;IDE;GTK;
+Categories=Development;Science;Math;IDE;GTK;
 Terminal=false
 Icon=coq
diff --git a/debian/coqide.menu b/debian/coqide.menu
index 2bf7d541..93feca90 100644
--- a/debian/coqide.menu
+++ b/debian/coqide.menu
@@ -1,4 +1,4 @@
 ?package(coqide):command="/usr/bin/coqide" \
   icon="/usr/share/pixmaps/coqide.xpm" \
   needs="X11" \
-  section="Apps/Math" title="CoqIDE"
+  section="Applications/Science/Mathematics" title="CoqIDE"
diff --git a/debian/utils/purify_tarball b/debian/purify_tarball
index ea7e08f1..4682a21c 100755
--- a/debian/utils/purify_tarball
+++ b/debian/purify_tarball
@@ -6,7 +6,7 @@ CURDIR=`pwd`
 ORIG=$1
 WORKDIR=`dirname $ORIG`
 ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.]\+\)\.tar\.gz$/\1/"`
+VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z]\+\)\.tar\.gz$/\1/"`
 
 cd $WORKDIR
 
diff --git a/debian/rules b/debian/rules
index 412c5f9a..d897124b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,7 +13,7 @@ include /usr/share/dpatch/dpatch.make
 COQPREF := $(CURDIR)/debian/tmp
 ADDPREF := COQINSTALLPREFIX=$(COQPREF)
 
-CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
+CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
 
 configure: configure-stamp
 configure-stamp:
@@ -57,8 +57,8 @@ clean: unpatch
 	dh_testroot
 	rm -f build-stamp configure-stamp opt-stamp
 
-	-$(MAKE) clean
-	-$(MAKE) archclean
+	[ ! -f config/Makefile ] || $(MAKE) clean
+	[ ! -f config/Makefile ] || $(MAKE) archclean
 	rm -f bin/*
 	rm -f tools/coqdoc/*.cm[oi]
 	rm -f config/coq_config.ml config/Makefile test-suite/check.log