[libjpfcodegen-java] 09/13: Register documentation with doc-base system.

[gregor herrmann]

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

gregoa pushed a commit to branch master
in repository libjpfcodegen-java.

commit f95894ec156c4718cb483cda80c7aea820c0b462
Author: gregor herrmann <gregoa at debian.org>
Date:   Mon Jan 27 22:23:38 2014 +0100

    Register documentation with doc-base system.
---
 debian/libjpfcodegen-java.doc-base | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian/libjpfcodegen-java.doc-base b/debian/libjpfcodegen-java.doc-base
new file mode 100644
index 0000000..7c394a9
--- /dev/null
+++ b/debian/libjpfcodegen-java.doc-base
@@ -0,0 +1,8 @@
+Document: libjpfcodegen-java
+Title: JPF Code Generator documentation
+Abstract: Documentation for the JPF Code Generator
+Section: Programming/Java
+
+Format: HTML
+Index: /usr/share/doc/libjpfcodegen-java/index.html
+Files: /usr/share/doc/libjpfcodegen-java/*.html

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/libjpfcodegen-java.git