chiark / gitweb /
INSTALL: add --enable-extras