[Pkg-ocaml-maint-commits] r3518 - in
/trunk/packages/coq-doc/trunk/debian: changelog rules
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Tue Jan 16 18:45:59 CET 2007
Author: smimram
Date: Tue Jan 16 18:45:58 2007
New Revision: 3518
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3518
Log:
Correctly install html documentation.
Modified:
trunk/packages/coq-doc/trunk/debian/changelog
trunk/packages/coq-doc/trunk/debian/rules
Modified: trunk/packages/coq-doc/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/changelog?rev=3518&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/changelog (original)
+++ trunk/packages/coq-doc/trunk/debian/changelog Tue Jan 16 18:45:58 2007
@@ -1,3 +1,9 @@
+coq-doc (8.1~gamma-2) experimental; urgency=low
+
+ * Correctly install html documentation, closes: #407117.
+
+ -- Samuel Mimram <smimram at debian.org> Tue, 16 Jan 2007 17:40:02 +0000
+
coq-doc (8.1~gamma-1) experimental; urgency=low
* New upstream release.
Modified: trunk/packages/coq-doc/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/debian/rules?rev=3518&op=diff
==============================================================================
--- trunk/packages/coq-doc/trunk/debian/rules (original)
+++ trunk/packages/coq-doc/trunk/debian/rules Tue Jan 16 18:45:58 2007
@@ -29,7 +29,7 @@
dh_installdocs
cp tutorial/Tutorial.v.html $(HTMLDEST)
- cp refman/*.html $(HTMLDEST)/refman
+ cp refman/html/* $(HTMLDEST)/refman
cp faq/FAQ.v.html $(HTMLDEST)
cp RecTutorial/RecTutorial.v.html $(HTMLDEST)
cd debian/coq-doc-html/usr/share/doc/coq; ln -s ../coq-doc-html html
More information about the Pkg-ocaml-maint-commits
mailing list