[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.91-2-9-g5d748c8

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 5d748c819e93b7591bda62da6e97109a37e9f426
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Apr 16 01:05:51 2011 +0200

    Adapt debian/rules

diff --git a/debian/rules b/debian/rules
index 8158b19..3f377a6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,7 +19,7 @@ override_dh_auto_build:
 	for i in $(BACKUP); do \
 		cp -ax $$i $$i.debian; \
 	done
-	$(MAKE) $(OCAML_BEST) gui
+	$(MAKE) $(OCAML_BEST) altgr-ergo
 
 override_dh_auto_clean:
 	if [ -f Makefile ]; then \

-- 
alt-ergo packaging