[Pkg-ocaml-maint-commits] [menhir] 04/09: drop debian/README.source

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository menhir.

commit 53c6d84496b1b69fc78967c2e8724c29dcaebe0d
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Jun 19 21:23:31 2017 +0200

    drop debian/README.source
---
 debian/README.source | 12 ------------
 debian/changelog     |  3 ++-
 2 files changed, 2 insertions(+), 13 deletions(-)

diff --git a/debian/README.source b/debian/README.source
deleted file mode 100644
index 9d0b379..0000000
--- a/debian/README.source
+++ /dev/null
@@ -1,12 +0,0 @@
-Menhir 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. Have a look at
-`dom-apply-patches' and `dom-save-patches' from the package dh-ocaml.
diff --git a/debian/changelog b/debian/changelog
index 0fd7cc3..93cb1ad 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 menhir (20170607.dfsg-1) unstable; urgency=medium
 
   * Team upload
+  * Delete obsolete debian/README.source
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 19 Jun 2017 21:21:41 +0200
+ -- Ralf Treinen <treinen at debian.org>  Mon, 19 Jun 2017 21:23:13 +0200
 
 menhir (20160808+dfsg-1) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git