[Pkg-ocaml-maint-commits] [apron] 08/09: Add doc-base files

[Nicolas Braud-Santoni]

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

nicoo-guest pushed a commit to branch master
in repository apron.

commit abdc6e2acedf7720215fc29d8a98e45c82fbf656
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 14:48:13 2016 -0400

    Add doc-base files
---
 debian/libapron-dev.doc-base       | 8 ++++++++
 debian/libapron-ocaml-dev.doc-base | 8 ++++++++
 2 files changed, 16 insertions(+)

diff --git a/debian/libapron-dev.doc-base b/debian/libapron-dev.doc-base
new file mode 100644
index 0000000..b799942
--- /dev/null
+++ b/debian/libapron-dev.doc-base
@@ -0,0 +1,8 @@
+Document: apron
+Title:  The APRON library
+Author: Bertrand Jeannet and the APRON team
+Section: Programming/C
+
+Format: HTML
+Index: /usr/share/doc/libapron-dev/html/apron.html
+Files: /usr/share/doc/libapron-dev/html/*.html
diff --git a/debian/libapron-ocaml-dev.doc-base b/debian/libapron-ocaml-dev.doc-base
new file mode 100644
index 0000000..c60e844
--- /dev/null
+++ b/debian/libapron-ocaml-dev.doc-base
@@ -0,0 +1,8 @@
+Document: apron-ocaml
+Title:  The APRON library
+Author: Bertrand Jeannet and the APRON team
+Section: Programming/OCaml
+
+Format: HTML
+Index: /usr/share/doc/libapron-ocaml-dev/html/index.html
+Files: /usr/share/doc/libapron-ocaml-dev/html/*.html

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