chiark / gitweb /
install: treat non-existent directory as empty