[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.beta0+13323-1-4-gaae7cec

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit bb08a887b65a76da05885018c831ed14432d50b6
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 6 16:19:50 2010 -0400

    New upstream release candidate

diff --git a/debian/changelog b/debian/changelog
index d2c2814..d5f7365 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.3~rc1+dfsg-1) UNRELEASED; urgency=low
+
+  * New upstream release candidate
+
+ -- Stéphane Glondu <glondu at debian.org>  Fri, 06 Aug 2010 16:19:30 -0400
+
 coq (8.3~beta0+13323-1) experimental; urgency=low
 
   * New upstream snapshot
diff --git a/debian/patches/0001-Fix-installation-of-emacs-files.patch b/debian/patches/0001-Fix-installation-of-emacs-files.patch
deleted file mode 100644
index 055c983..0000000
--- a/debian/patches/0001-Fix-installation-of-emacs-files.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-From: Stephane Glondu <steph at glondu.net>
-Date: Sat, 24 Jul 2010 20:14:50 +0200
-Subject: [PATCH] Fix installation of emacs files
-
----
- Makefile.build |    2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
-
-diff --git a/Makefile.build b/Makefile.build
-index a7ae1e2..e86baec 100644
---- a/Makefile.build
-+++ b/Makefile.build
-@@ -623,7 +623,7 @@ install-coq-manpages:
- 
- install-emacs:
- 	$(MKDIR) $(FULLEMACSLIB)
--	$(INSTALLLIB) tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
-+	$(INSTALLLIB) tools/coq-db.el tools/coq-font-lock.el tools/coq-syntax.el tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
- 
- # command to update TeX' kpathsea database
- #UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null
--- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 07593e5..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Fix-installation-of-emacs-files.patch

-- 
coq packaging