chiark / gitweb /
make-directive-index: count how many directives and pages are shown