[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-1-1-gf6ecf83

[Ralf Treinen]

The following commit has been merged in the master branch:
commit d2caa0ff8e82b302a6717bfc7f32d3260282b4d7
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Apr 4 19:55:37 2010 +0200

    try with upstream's make invocation

diff --git a/debian/NEWS b/debian/NEWS
index 0047236..651eb7b 100644
--- a/debian/NEWS
+++ b/debian/NEWS
@@ -1,4 +1,4 @@
-advi (1.9.0~rc1-1) UNRELEASED; urgency=low
+advi (1.9.0~rc2-1) UNRELEASED; urgency=low
   
     The zadvi wrapper script has been removed from the advi package since
     advi is now able to read directly gzipped or b2zipped dvi files.
diff --git a/debian/rules b/debian/rules
index e79687e..62044df 100755
--- a/debian/rules
+++ b/debian/rules
@@ -22,9 +22,9 @@ override_dh_auto_configure:
 			--infodir=\$${prefix}/share/info \
 			--with-gs=/usr/bin/ghostscript
 
-override_dh_auto_build:
-	$(MAKE)
-	cd doc && $(MAKE) $(DVIS)
+#override_dh_auto_build:
+#	$(MAKE)
+#	cd doc && $(MAKE) $(DVIS)
 
 override_dh_auto_install:
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/advi

-- 
advi packaging