chiark / gitweb /
gitignore: only ignore .html files in man/