Upstream does not provide a manpage, the manpage for Debian is built with help2man \ --name pulldown-cmark \ --no-info \ --version-string= \ pulldown-cmark