about summary refs log tree commit diff
path: root/doc/manpage-urls.json
AgeCommit message (Collapse)AuthorFilesLines
2023-01-21doc/manpage-urls.json: add gnunet.confNaïm Favier1-0/+1
2023-01-21doc/manpage-urls.json: add mpdNaïm Favier1-1/+3
2023-01-02doc: separate manpage URLs from the Pandoc filterNaïm Favier1-0/+29
Move the manpage-to-URL mapping to `doc/manpage-urls.json` so that we can reuse that file elsewhere, and generate the `link-manpages.lua` filter from that file. Also modify the Pandoc filter so that it doesn't wrap manpages that are already inside a link. Keeping a Lua filter is essential for speed: a Python filter would increase the runtime `md-to-db.sh` from ~20s to ~30s (but Python is not to blame; marshalling Pandoc types to and from JSON is a costly operation). Parsing in Lua seems tedious, so I went with the Nix way.