summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2022-09-22 18:56:24 +0100
committerjao <jao@gnu.org>2022-09-22 18:56:24 +0100
commit18edf316c9c43e646cb1bcbeec1d4526920ad726 (patch)
treeb36c0a32589d0db03c09cd233f30b39d19989af6
parent278ad412d577981f8e4ab9b4f65b40e5975d9196 (diff)
readme: info export options
-rw-r--r--readme.org5
1 files changed, 4 insertions, 1 deletions
diff --git a/readme.org b/readme.org
index e37f893..d8472a7 100644
--- a/readme.org
+++ b/readme.org
@@ -1,4 +1,7 @@
-#+title: Recoll queries in emacs using consult
+#+TITLE: Recoll queries in emacs using consult
+#+EXPORT_FILE_NAME: consult-recoll.texi
+#+TEXINFO_DIR_CATEGORY: Emacs
+#+OPTIONS: d:nil
#+begin_export html
<p align=right>