[Pkg-ocaml-maint-commits] [dose3] 08/16: install the apt-external-solvers primer in package apt-cudf

Johannes Schauer josch at moszumanska.debian.org
Tue May 5 19:49:02 UTC 2015


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

josch pushed a commit to tag debian/3.3-3
in repository dose3.

commit da1d18809c1c51d96e488a13ed4b512a71e94e59
Author: Ralf Treinen <treinen at 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 e92de6a..adec659 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 <treinen at 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 <treinen at 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



More information about the Pkg-ocaml-maint-commits mailing list