chiark / gitweb /
make-directive-index: remove duplicated list of sections