diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 12:03:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 12:03:52 +0000 |
| commit | 7dabf0b931036148fd7986d7d75624d81c07f146 (patch) | |
| tree | 2386ef5978acbff5f95e0f63a4042bfd377fce59 /docs/res/publish-man.el | |
| parent | 314e1178ccede8ed42cbfc14b68352a51dcd014b (diff) | |
| download | vericert-7dabf0b931036148fd7986d7d75624d81c07f146.tar.gz vericert-7dabf0b931036148fd7986d7d75624d81c07f146.zip | |
Update documentation generation
Diffstat (limited to 'docs/res/publish-man.el')
| -rw-r--r-- | docs/res/publish-man.el | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/res/publish-man.el b/docs/res/publish-man.el new file mode 100644 index 0000000..634b454 --- /dev/null +++ b/docs/res/publish-man.el @@ -0,0 +1,12 @@ +(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) |