[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-34-gcfaffa9
Ralf Treinen
treinen at pps.univ-paris-diderot.fr
Thu Apr 11 13:09:58 UTC 2013
The following commit has been merged in the experimental/master branch:
commit 8ca62b9352c23542bb28e123f098ee8dd8f53f75
Author: Ralf Treinen <treinen at 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 <treinen at debian.org> Wed, 10 Apr 2013 08:19:33 +0200
+ -- Ralf Treinen <treinen at 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
More information about the Pkg-ocaml-maint-commits
mailing list