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

treinen pushed a commit to branch experimental/master
in repository dose3.

commit 7b792a98a69ded0e133a5584c78483e56248ae86
Author: Ralf Treinen <trei...@free.fr>
Date:   Sat Nov 22 14:36:57 2014 +0100

    install the apt-external-solvers primer in package apt-cudf
---
 debian/apt-cudf.doc-base | 10 ++++++++++
 debian/apt-cudf.docs     |  1 +
 debian/changelog         |  9 +++++++--
 3 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/debian/apt-cudf.doc-base b/debian/apt-cudf.doc-base
new file mode 100644
index 0000000..fd2580d
--- /dev/null
+++ b/debian/apt-cudf.doc-base
@@ -0,0 +1,10 @@
+Document: apt-extern-solvers-primer
+Title: Using apt-get With External Solvers
+Author: Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
+Abstract: This document describes how to connect apt-get with external solvers
+ using apt-cudf.
+Section: Debian
+
+Format: HTML
+Index: /usr/share/doc/apt-cudf/apt-external-solvers.html
+Files: /usr/share/doc/apt-cudf/apt-external-solvers.html
\ No newline at end of file
diff --git a/debian/apt-cudf.docs b/debian/apt-cudf.docs
index 3749b52..17d39d1 100644
--- a/debian/apt-cudf.docs
+++ b/debian/apt-cudf.docs
@@ -1 +1,2 @@
 doc/apt-cudf/*
+doc/apt-external-solvers.primer/apt-external-solvers.html
diff --git a/debian/changelog b/debian/changelog
index ee08c40..ee23344 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,6 @@
 dose3 (3.3-1) experimental; urgency=medium
 
-  * [ Johannes Schauer ]
+  [ Johannes Schauer ]
   * Team upload.
   * new upstream version
     - dropped patches that were integrated upstream: build-cmx, doc-target,
@@ -9,7 +9,12 @@ dose3 (3.3-1) experimental; urgency=medium
   * reorder d/copyright stanzas so that the d/update-cudf-solvers paragraph
     gets used
 
- -- Ralf Treinen <trei...@debian.org>  Sat, 22 Nov 2014 11:53:15 +0100
+  [ Ralf Treinen ]
+  * install the apt-external-solvers.primer in package apt-cudf:
+    - added debian/apt-cudf.docs
+    - added debian/apt-cudf.doc-base
+
+ -- Ralf Treinen <trei...@debian.org>  Sat, 22 Nov 2014 14:36:15 +0100
 
 dose3 (3.3~beta1-2) experimental; urgency=low
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.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