[Pkg-ocaml-maint-commits] r2646 - /trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/coqdoc_stdlib.dpatch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Fri Apr 28 17:14:43 2006
New Revision: 2646

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2646
Log:
Document the patch.

Modified:
    trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/coqdoc_stdlib.dpatch

Modified: trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/coqdoc_stdlib.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.0pl3%2B8.1alpha/debian/patches/coqdoc_stdlib.dpatch?rev=2646&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/coqdoc_stdlib.dpatch (original)
+++ trunk/packages/coq/branches/8.0pl3+8.1alpha/debian/patches/coqdoc_stdlib.dpatch Fri Apr 28 17:14:43 2006
@@ -2,7 +2,8 @@
 ## coqdoc_stdlib.dpatch by Samuel Mimram <smimram at debian.org>
 ##
 ## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
+## DP: Add an option to coqdoc to be able to use a custom stdlib path in order
+## DP: to be able to build the documentation before coqdoc is installed.
 
 @DPATCH@
 diff -urNad coq-8.0pl3+8.1alpha~/doc/Makefile coq-8.0pl3+8.1alpha/doc/Makefile