[Pkg-ocaml-maint-commits] [dose3] 02/02: install the apt-external-solvers primer in package apt-cudf
Ralf Treinen
treinen at moszumanska.debian.org
Sat Nov 22 13:56:26 UTC 2014
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 <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 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 <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