chiark / gitweb /
Fix default HTML directory.