summaryrefslogtreecommitdiff
path: root/debian/doc-base
diff options
context:
space:
mode:
authorS├ębastien Delafond <sdelafond@gmail.com>2014-07-13 13:35:27 +0200
committerS├ębastien Delafond <sdelafond@gmail.com>2014-07-13 13:35:27 +0200
commite32a45ed36d6000db4b39171149072d11b77af72 (patch)
treeb5f4a7d43022c08c3298e82b3e9fc50f68be660f /debian/doc-base
parent7697fa4daf3ec84f85711a84035d8f0224afd4e3 (diff)
Imported Upstream version 8.0.7
Diffstat (limited to 'debian/doc-base')
-rw-r--r--debian/doc-base11
1 files changed, 0 insertions, 11 deletions
diff --git a/debian/doc-base b/debian/doc-base
deleted file mode 100644
index 0ea41f0..0000000
--- a/debian/doc-base
+++ /dev/null
@@ -1,11 +0,0 @@
-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