The following commit has been merged in the master branch:
commit a29f63907c524077d54a969d0d0630c7c110cfbc
Author: Ralf Treinen <[email protected]>
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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to