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
..
manual	doc: separate manpage URLs from the Pandoc filter	2023-01-02 14:11:22 +01:00
varlistentry-fixer.rb
xmlformat.conf