chiark / gitweb /
build-sys: update intructions for Makefile-man.am regeneration