Commit Graph

3 Commits

Author SHA1 Message Date
Naïm Favier
2f4e98edef doc/manpage-urls.json: add gnunet.conf 2023-01-21 18:08:38 +01:00
Naïm Favier
712b3371b6 doc/manpage-urls.json: add mpd 2023-01-21 18:08:38 +01:00
Naïm Favier
a8d4cf149c
doc: separate manpage URLs from the Pandoc filter
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.
2023-01-02 14:11:22 +01:00