diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
commit | a7a8e4481bce810d077ea682b8379535a20931c9 (patch) | |
tree | 689fb687749a79f616379205304e2d605aab7a69 /docs/res/publish-man.el | |
parent | a1c958a50129342aeccf38e0e591bed6c394cf74 (diff) | |
download | vericert-a7a8e4481bce810d077ea682b8379535a20931c9.tar.gz vericert-a7a8e4481bce810d077ea682b8379535a20931c9.zip |
Update documentation files
Diffstat (limited to 'docs/res/publish-man.el')
-rw-r--r-- | docs/res/publish-man.el | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/res/publish-man.el b/docs/res/publish-man.el deleted file mode 100644 index 634b454..0000000 --- a/docs/res/publish-man.el +++ /dev/null @@ -1,12 +0,0 @@ -(require 'package) -(package-initialize) - -(require 'org) -(require 'org-transclusion) -(require 'ox) -(require 'ox-man) - -(setq org-transclusion-exclude-elements nil) - -(org-transclusion-add-all) -(org-man-export-to-man) |