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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5b80ab8aeed9a5125cb8dc0c9162c78096b1bb4e
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Mar 15 23:00:11 2010 +0100

    sdjksdgjkgf

diff --git a/debian/changelog b/debian/changelog
index 881afda..ebde7f2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,6 +13,7 @@ advi (1.9-1) experimental; urgency=low
     - add back hevea, since upstream makefile does again rebuild the doc
   * patch use-ghostscript: make configure believe that ghostscript is installed
     at compilation time.
+  * debian/rules: also make the splash.dvi documents in doc/
   * Install doc/{splash,scratch_draw_splash,scratch_write_splash}.dvi files
     into /usr/share/advi
   * debian/control: Updated location of upstream homepage
diff --git a/debian/rules b/debian/rules
index cfb8aab..cf9edeb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,7 +1,7 @@
 #!/usr/bin/make -f
 
 # additional dvi documents to generate
-# DVIS = splash.dvi scratch_draw_splash.dvi  scratch_write_splash.dvi
+DVIS = splash.dvi scratch_draw_splash.dvi  scratch_write_splash.dvi
 
 DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
 DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
@@ -29,7 +29,7 @@ override_dh_auto_configure:
 
 override_dh_auto_build:
 	$(MAKE)
-#	cd doc && $(MAKE) $(DVIS)
+	cd doc && $(MAKE) $(DVIS)
 
 override_dh_auto_install:
 	$(MAKE) install DESTDIR=$(CURDIR)/debian/advi

-- 
advi packaging