[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 8657ef9f693564cd69dc5d29d8ca0aae96f4c945
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Apr 4 21:10:03 2010 +0200

    do not compress dvis (workaround)

diff --git a/debian/rules b/debian/rules
index 1319643..313581d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -30,4 +30,9 @@ endif
 override_dh_strip:
 ifeq ($(OPT),true)
 	dh_strip
-endif
\ No newline at end of file
+endif
+
+# workaround until upstream allows to read gzipped dvis from read-only
+# directories
+override_dh_compress:
+	dh_compress --exclude=.dvi

-- 
advi packaging