[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-34-gcfaffa9

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit cfaffa97df9e7f948f8c36bfc03bf331a84755f6
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Apr 10 09:50:24 2013 +0200

    drop debian/README.source

diff --git a/debian/README.source b/debian/README.source
deleted file mode 100644
index 5a6e718..0000000
--- a/debian/README.source
+++ /dev/null
@@ -1,16 +0,0 @@
-Alt-Ergo Debian source package
-==============================
-
-Patching upstream sources
--------------------------
-
-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).
-
- -- Mehdi Dogguy <mehdi at debian.org>, Fri, 28 Aug 2009 09:04:48 +0200
diff --git a/debian/changelog b/debian/changelog
index d25009d..80d9606 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -27,6 +27,7 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
     - debian/source/format: update
     - debian/rules: drop "quilt" option from dh invocation
     - debian/control: drop quilt from build-dependencies
+    - drop debian/README.source which is no longer necessary
   * Drop build-dependencies on autotools-dev, autoconf which are not needed.
     Touch configure in debian/rules to assure it is newer than configure.in.
   * Rewrite long package description.

-- 
alt-ergo packaging