The following commit has been merged in the master branch:
commit b629d39a0e49a604d18bb3258468122388f8b09f
Author: Ralf Treinen <trei...@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 <trei...@debian.org> Tue, 02 Aug 2011 19:11:34 +0200
--
advi packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
