The following commit has been merged in the master branch:
commit d1ea1892d5a015248013e09cd1a61546409d6940
Author: Ralf Treinen <trei...@free.fr>
Date: Tue Aug 2 20:06:56 2011 +0200
small issues in changelog
diff --git a/debian/changelog b/debian/changelog
index 48a22f1..1c80aba 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,8 +7,8 @@ advi (1.10.0-1) unstable; urgency=low
* We don't need to override dh_strip anymore since the -custom option
is no longer used.
* $(MAKE) doc still doesn't work:
- - patch dont-make-doc: do not attempt to do so
- - add debian/advi.manpages
+ - patch dont-make-doc: do not attempt to invoke make on doc/
+ - install manpage through 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
