diff options
Diffstat (limited to 'docs/res/publish-manual.el')
| -rw-r--r-- | docs/res/publish-manual.el | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/res/publish-manual.el b/docs/res/publish-manual.el deleted file mode 100644 index df5db6b..0000000 --- a/docs/res/publish-manual.el +++ /dev/null @@ -1,12 +0,0 @@ -(require 'package) -(package-initialize) - -(require 'org) -(require 'org-transclusion) -(require 'ox) -(require 'ox-texinfo) - -(setq org-transclusion-exclude-elements nil) - -(org-transclusion-add-all) -(org-texinfo-export-to-texinfo) |