chiark / gitweb /
add "devel" and "install" switches to autogen.sh