[Pkg-ocaml-maint-commits] [SCM] pxp packaging branch, master, updated. debian/1.2.0.test1-3-23-g6f305b2

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 22432ff32eb7a68eb6ea27b53bfd37d9509b3a7b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Mar 16 17:15:52 2009 +0100

    debian/docs: avoid installing vanished documents

diff --git a/debian/changelog b/debian/changelog
index e9db6c8..d580e9e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -15,6 +15,7 @@ pxp (1.2.1-1) UNRELEASED; urgency=low
     - drop obsolete version specifications in build-deps
     - bump Standards-Version to 3.8.1 (no changes)
     - move pxp to (new) archive section "ocaml"
+  * debian/docs: avoid installing vanished documents
 
   [ Stephane Glondu ]
   * Switching packaging to git
diff --git a/debian/docs b/debian/docs
index a85f135..cf68faa 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,6 +1,4 @@
 doc/DEV
-doc/EXTENSIONS
-doc/PREPROCESSOR
 doc/README
 doc/SPEC
 doc/design.txt

-- 
pxp packaging