diff options
| author | Adam Spragg <adam@spra.gg> | 2022-06-28 17:37:18 +0100 |
|---|---|---|
| committer | Adam Spragg <adam@spra.gg> | 2022-06-29 15:29:41 +0100 |
| commit | 58422d1a4a82ba48e045a9603bd5ee7916f6c922 (patch) | |
| tree | 8eab0e1cb40b187c2eebfbe004be0bb7066c9164 /.gitignore | |
| parent | b46002f1c47d7716fc582269e3d943b87bbdcf9c (diff) | |
doc: Generate the man page from markdown
Because who wants to hand-write groff markup these days?
This adds pandoc(1) as a build-dependency.
It uses PHP Markdown Extra definition lists, which pandoc uses for e.g.
command option/explanation lists. Because this definition list format is
non-standard it might not render as intended on many markdown viewers,
but pandoc generates "better" man page output with it.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,6 +10,8 @@ Makefile.dep /bin/ +/man1/ + *~ *.patch |