[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, experimental, updated. debian/1.8-1-37-gb52324d

[Ralf Treinen]

The following commit has been merged in the experimental branch:
commit fd3c0bbb65bd1e9c5edeb95bc9f0ebaaa74c258b
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Mar 10 21:38:14 2010 +0100

    try to call make in doc with HAVE_HEVEA= in order to work around
    braindead makefiles

diff --git a/debian/rules b/debian/rules
index cc151a6..fc01521 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,7 +29,7 @@ override_dh_auto_configure:
 
 override_dh_auto_build:
 	$(MAKE)
-	cd doc && $(MAKE) $(DVIS)
+	cd doc && $(MAKE) HAVE_HEVEA= $(DVIS)
 
 override_dh_auto_install:
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/advi

-- 
advi packaging