[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a88339e768ad1c3c36250dff659120236b900cf0
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 8 16:48:51 2008 +0200

    glob.dump is not there anymore

diff --git a/debian/rules b/debian/rules
index e50ad14..50a6e64 100755
--- a/debian/rules
+++ b/debian/rules
@@ -50,11 +50,6 @@ build-stamp: configure-stamp
 	else \
 		$(MAKE) BEST=byte HASCOQIDE=byte check; \
 	fi
-	if [ -e opt-stamp ]; then \
-		$(MAKE) BEST=opt glob.dump; \
-	else \
-		$(MAKE) BEST=byte HASCOQIDE=byte glob.dump; \
-	fi
 	cp tools/coqdoc/coqdoc.sty doc/stdlib/
 	$(MAKE) -f Makefile.stage3 doc/stdlib/html/index.html COQDOC="bin/coqdoc --coqlib_path `pwd`"
 	touch build-stamp

-- 
coq packaging