[Pkg-ocaml-maint-commits] [SCM] omake packaging branch, master, updated. debian/0.9.8.5-3-4-18-g6503605

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 4eb8c3eb5606718759b992b66d99cf0526a08bba
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Apr 11 16:47:27 2009 +0200

    Add a doc-base control file for omake-doc

diff --git a/debian/omake-doc.doc-base b/debian/omake-doc.doc-base
new file mode 100644
index 0000000..99736e3
--- /dev/null
+++ b/debian/omake-doc.doc-base
@@ -0,0 +1,12 @@
+Document: omake-doc
+Title: The OMake user guide and reference manual
+Author: Jason Hickey, Aleksey Nogin, et. al.
+Abstract: Documentation for the OMake build system
+Section: Programming
+
+Format: HTML
+Index: /usr/share/doc/omake-doc/html/index.html
+Files: /usr/share/doc/omake-doc/html/*.html
+
+Format: PDF
+Files: /usr/share/doc/omake-doc/omake-doc.pdf

-- 
omake packaging