NOTES

To generate .partial files for https://developers.yubico.com/:

$ make -C build man_symlink_html_partial
$ (cd build/man && pax -p p -r -w *.partial /tmp/partial)

Use mandoc 1.14.4. Otherwise, adjust dyc.css to mandoc's HTML
output.