diff options
Diffstat (limited to 'debian/patches/coqdoc_stdlib.dpatch')
-rwxr-xr-x | debian/patches/coqdoc_stdlib.dpatch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/debian/patches/coqdoc_stdlib.dpatch b/debian/patches/coqdoc_stdlib.dpatch index fb618f56..f59f52e0 100755 --- a/debian/patches/coqdoc_stdlib.dpatch +++ b/debian/patches/coqdoc_stdlib.dpatch @@ -6,14 +6,14 @@ ## DP: to be able to build the documentation before coqdoc is installed. @DPATCH@ -diff -urNad coq-8.0pl3+8.1beta~/doc/Makefile coq-8.0pl3+8.1beta/doc/Makefile ---- coq-8.0pl3+8.1beta~/doc/Makefile 2006-06-16 13:02:33.000000000 +0000 -+++ coq-8.0pl3+8.1beta/doc/Makefile 2006-06-16 13:19:11.000000000 +0000 -@@ -216,6 +216,7 @@ +diff -urNad coq-8.1.pl2+dfsg~/doc/Makefile coq-8.1.pl2+dfsg/doc/Makefile +--- coq-8.1.pl2+dfsg~/doc/Makefile 2007-10-15 11:45:13.000000000 +0000 ++++ coq-8.1.pl2+dfsg/doc/Makefile 2007-10-15 11:45:40.000000000 +0000 +@@ -222,6 +222,7 @@ mkdir stdlib/html (cd stdlib/html;\ $(COQDOC) -q --multi-index --html --glob-from $(GLOBDUMP)\ -+ --coqlib_path $(COQTOP) \ - -R $(COQTOP)/theories Coq $(COQTOP)/theories/*/*.v) ++ --coqlib_path $(COQSRC) \ + -R $(COQSRC)/theories Coq $(COQSRC)/theories/*/*.v) mv stdlib/html/index.html stdlib/index-body.html |