chiark / gitweb /
man: ignore non-manpage files when generating makefile