chiark / gitweb /
remove DVI output from repo