1 files changed, 8 insertions, 0 deletions
diff --git a/debian/libaac-tactics-coq.doc-base.theories b/debian/libaac-tactics-coq.doc-base.theories
new file mode 100644
index 0000000..de3a8e5
--- /dev/null
+++ b/debian/libaac-tactics-coq.doc-base.theories
@@ -0,0 +1,8 @@
+Document: aac-tactics-theories
+Title: aac_tactics theories
+Abstract: Theories for aac_tactics (generated from .v sources via coqdoc)
+Section: Science/Mathematics
+
+Format: HTML
+Index: /usr/share/doc/libaac-tactics-coq/theories/index.html
+Files: /usr/share/doc/libaac-tactics-coq/theories/*