chiark / gitweb /
build-sys: add new man pages to makefile