The following commit has been merged in the master branch:
commit 5d748c819e93b7591bda62da6e97109a37e9f426
Author: Mehdi Dogguy <me...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to