chiark / gitweb /
make-directive-index: use original XML as index entries