1To generate .partial files for https://developers.yubico.com/: 2 3$ make -C build man_symlink_html_partial 4$ (cd build/man && pax -p p -r -w *.partial /tmp/partial) 5 6Use mandoc 1.14.4. Otherwise, adjust dyc.css to mandoc's HTML 7output. 8