[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 a29f63907c524077d54a969d0d0630c7c110cfbc
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Mar 15 22:44:22 2010 +0100

    install splash dvis

diff --git a/debian/advi.install b/debian/advi.install
index 1bd0510..a316ff5 100644
--- a/debian/advi.install
+++ b/debian/advi.install
@@ -1,5 +1,5 @@
 debian/jpfonts.conf		/etc/advi
 debian/utils/zadvi		/usr/bin
-#doc/splash.dvi			/usr/share/advi
-#doc/scratch_draw_splash.dvi	/usr/share/advi
-#doc/scratch_write_splash.dvi	/usr/share/advi
+doc/splash.dvi			/usr/share/advi
+doc/scratch_draw_splash.dvi	/usr/share/advi
+doc/scratch_write_splash.dvi	/usr/share/advi
diff --git a/debian/changelog b/debian/changelog
index 3ab93a4..881afda 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,6 +13,8 @@ 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.
+  * Install doc/{splash,scratch_draw_splash,scratch_write_splash}.dvi files
+    into /usr/share/advi
   * debian/control: Updated location of upstream homepage
   * debian/watch: put new domain (advi.inria.fr)
 

-- 
advi packaging