From e5be0a14a05242ceb5d225e54dbe366dc9c4143b Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Sat, 18 Aug 2007 20:34:57 +0000
Subject: New upstream release.

---
 debian/changelog            |  6 ++++++
 debian/coq.menu             |  2 +-
 debian/coqide.desktop       |  2 +-
 debian/coqide.menu          |  2 +-
 debian/purify_tarball       | 26 ++++++++++++++++++++++++++
 debian/rules                |  6 +++---
 debian/utils/purify_tarball | 26 --------------------------
 7 files changed, 38 insertions(+), 32 deletions(-)
 create mode 100755 debian/purify_tarball
 delete mode 100755 debian/utils/purify_tarball

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/purify_tarball b/debian/purify_tarball
new file mode 100755
index 00000000..4682a21c
--- /dev/null
+++ b/debian/purify_tarball
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+set -e
+
+CURDIR=`pwd`
+ORIG=$1
+WORKDIR=`dirname $ORIG`
+ORIGFILE=`basename $ORIG`
+VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z]\+\)\.tar\.gz$/\1/"`
+
+cd $WORKDIR
+
+tar zxf $ORIGFILE
+
+rm -rf coq-$VERSION/doc/common
+rm -rf coq-$VERSION/doc/faq
+rm -rf coq-$VERSION/doc/RecTutorial
+rm -rf coq-$VERSION/doc/refman
+rm -rf coq-$VERSION/doc/rt
+rm -rf coq-$VERSION/doc/tools
+rm -rf coq-$VERSION/doc/tutorial
+
+tar zcf coq_$VERSION+dfsg.orig.tar.gz coq-$VERSION/
+rm -rf coq-$VERSION
+
+cd $CURDIR
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
diff --git a/debian/utils/purify_tarball b/debian/utils/purify_tarball
deleted file mode 100755
index ea7e08f1..00000000
--- a/debian/utils/purify_tarball
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/sh
-
-set -e
-
-CURDIR=`pwd`
-ORIG=$1
-WORKDIR=`dirname $ORIG`
-ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.]\+\)\.tar\.gz$/\1/"`
-
-cd $WORKDIR
-
-tar zxf $ORIGFILE
-
-rm -rf coq-$VERSION/doc/common
-rm -rf coq-$VERSION/doc/faq
-rm -rf coq-$VERSION/doc/RecTutorial
-rm -rf coq-$VERSION/doc/refman
-rm -rf coq-$VERSION/doc/rt
-rm -rf coq-$VERSION/doc/tools
-rm -rf coq-$VERSION/doc/tutorial
-
-tar zcf coq_$VERSION+dfsg.orig.tar.gz coq-$VERSION/
-rm -rf coq-$VERSION
-
-cd $CURDIR
-- 
cgit v1.2.3