From d8e2663f7445de8536e71e16655bd083806360c1 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 29 Aug 2009 16:55:03 +0200 Subject: Various updates, prepare upload to unstable --- debian/README.source | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'debian/README.source') diff --git a/debian/README.source b/debian/README.source index a88c4753..b1b16335 100644 --- a/debian/README.source +++ b/debian/README.source @@ -25,8 +25,14 @@ version (the script will do it for you). Patch system ------------ -This package uses dpatch for patching the source. Please consider -reading dpatch manpage to patch the source. +This source package uses quilt to apply and remove its patches. Please +refer to `/usr/share/doc/quilt/README.source' for information about +how to use quilt for source packages. + +The quilt series is generated from the Git repository, using +dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please +refer to the appendix about Git in the Debian OCaml Packaging Policy +(from the same package). Version Control System @@ -47,3 +53,6 @@ Since Coq takes so much time to compile, there is a build cache to speed-up Debian development and debugging. Just copy a previous build to ../coq.cache, and debian/rules will detect its presence and rsync from there instead of really compiling Coq... + + + -- Stéphane Glondu , Sat, 29 Aug 2009 16:49:52 +0200 -- cgit v1.2.3