diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
| commit | 6ae44229dedb893410bd9cec34a9435f9c233f40 (patch) | |
| tree | ba3a421eb55a270e3efb11048ad29376b3173ce4 /doc | |
| parent | 76febac7dd6290d1ca070a0d3ba65a4fa654bded (diff) | |
| download | vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.tar.gz vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.zip | |
Fix man file generation
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/res/publish.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/res/publish.el b/doc/res/publish.el index c083eb0..00fd3ee 100644 --- a/doc/res/publish.el +++ b/doc/res/publish.el @@ -5,7 +5,6 @@ (require 'org-transclusion) (require 'ox) (require 'ox-html) -(require 'htmlize) (require 'ox-texinfo) (require 'ox-man) |