[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-5-7-gb629d39

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b629d39a0e49a604d18bb3258468122388f8b09f
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Aug 2 19:46:32 2011 +0200

    install user documentation via dh

diff --git a/debian/advi.dirs b/debian/advi.dirs
index 08362be..3bd3c3b 100644
--- a/debian/advi.dirs
+++ b/debian/advi.dirs
@@ -3,3 +3,5 @@ usr/bin
 usr/share/man/man1
 usr/share/texmf/tex
 usr/share/lintian/overrides
+usr/share/doc/advi/manual
+
diff --git a/debian/advi.install b/debian/advi.install
index dee529f..87b5b63 100644
--- a/debian/advi.install
+++ b/debian/advi.install
@@ -2,4 +2,6 @@ debian/jpfonts.conf		/etc/advi
 doc/splash.dvi			/usr/share/doc/advi
 doc/scratch_draw_splash.dvi	/usr/share/doc/advi
 doc/scratch_write_splash.dvi	/usr/share/doc/advi
+doc/*.gif doc/pngs		/usr/share/doc/advi/manual
+doc/*.html doc/*.ps doc/*.pdf 	/usr/share/doc/advi/manual
 debian/lintian-overrides/advi	/usr/share/lintian/overrides
diff --git a/debian/changelog b/debian/changelog
index f6df106..48a22f1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,7 @@ advi (1.10.0-1) unstable; urgency=low
   * $(MAKE) doc still doesn't work:
     - patch dont-make-doc: do not attempt to do so
     - add debian/advi.manpages
+    - install user documentation through debian/advi.install
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 02 Aug 2011 19:11:34 +0200
 

-- 
advi packaging