chiark / gitweb /
man: fix suggested autoconf snippet