The following commit has been merged in the experimental/master branch:
commit 8ca62b9352c23542bb28e123f098ee8dd8f53f75
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Wed Apr 10 09:47:03 2013 +0200

    drop debian/docs

diff --git a/debian/changelog b/debian/changelog
index ddaee79..d25009d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -30,8 +30,10 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
   * 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.
+  * Remove debian/docs as the upstream README file is useless for users of
+    the debian package.
   
- -- Ralf Treinen <trei...@debian.org>  Wed, 10 Apr 2013 08:19:33 +0200
+ -- Ralf Treinen <trei...@debian.org>  Wed, 10 Apr 2013 09:46:38 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/docs b/debian/docs
deleted file mode 100644
index e845566..0000000
--- a/debian/docs
+++ /dev/null
@@ -1 +0,0 @@
-README

-- 
alt-ergo packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to