manual: Export to "org.texi"

2018-01-20 15:21:25 +01:00 · 2018-01-20 15:21:25 +01:00 · d5c7be6f45
parent 7ee925fa91
commit d5c7be6f45
1 changed files with 2 additions and 0 deletions
--- a/contrib/manual.org
+++ b/contrib/manual.org
@ -20631,6 +20631,8 @@ modify this GNU manual."
 #+property: header-args :eval no
 #+startup: overview nologdone

+#+export_file_name: org.texi
+
 #+texinfo_dir_category: Emacs editing modes
 #+texinfo_dir_title: Org Mode: (org)
 #+texinfo_dir_desc: Outline-based notes management and organizer