chiark / gitweb /
build-sys: restore detection of sphinx