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