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

treinen pushed a commit to branch master
in repository alt-ergo.

commit 5dff4abb5ae93834d34bb19452c3dc9606c91565
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Thu Nov 7 17:20:22 2013 +0100

    install examples
---
 debian/alt-ergo.examples |    1 +
 debian/changelog         |    1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/alt-ergo.examples b/debian/alt-ergo.examples
new file mode 100644
index 0000000..e39721e
--- /dev/null
+++ b/debian/alt-ergo.examples
@@ -0,0 +1 @@
+examples/*
diff --git a/debian/changelog b/debian/changelog
index 4a8b43c..25be692 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -22,6 +22,7 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
     - Upstream Contact : add alt-ergo-bugs mailing list
     - Update copyright holder and year for files *
     - Put paragraphs into the right order
+  * install examples/ into /usr/share/doc/alt-ergo
 
  -- Ralf Treinen <trei...@debian.org>  Thu, 07 Nov 2013 17:15:55 +0100
 

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

_______________________________________________
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