chiark / gitweb /
Makefile: Provide [un]install-docs