diff options
Diffstat (limited to 'debian/doc-base')
-rw-r--r-- | debian/doc-base | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/doc-base b/debian/doc-base new file mode 100644 index 0000000..0ea41f0 --- /dev/null +++ b/debian/doc-base @@ -0,0 +1,11 @@ +Document: org-mode +Title: Org Manual +Abstract: This manual describes what org-mode is, and how to use it +Section: Editors + +Format: PDF +Files: /usr/share/doc/org-mode/*.pdf.gz + +Format: info +Index: /usr/share/info/org.gz +Files: /usr/share/info/org.gz |