chiark / gitweb /
build-sys: make building of index.html fail sensibly