diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-08-29 16:55:03 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:59:16 +0200 |
| commit | d8e2663f7445de8536e71e16655bd083806360c1 (patch) | |
| tree | 491490c95051dd6f87d3357d3ef399d9de47b134 /debian/README.source | |
| parent | 52af446e4104d711a4fce53438b4bd29920a5e3d (diff) | |
Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3
Diffstat (limited to 'debian/README.source')
| -rw-r--r-- | debian/README.source | 13 |
1 files changed, 11 insertions, 2 deletions
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 <glondu@debian.org>, Sat, 29 Aug 2009 16:49:52 +0200 |