chiark / gitweb /
configure: Allow to disable build of tools that require GTK.