chiark / gitweb /
make-directive-index: count how many directives and pages are shown
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 02:34:19 +0000 (21:34 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 16:30:42 +0000 (11:30 -0500)
commit0acfdd61edb96585c6438698bcc21e366acd4291
tree65ccf0186fdefb83b6b937b6372feb9e670e5ced
parenteeb019b5b5db785feb0666f3238b1240e7f3e42e
make-directive-index: count how many directives and pages are shown
make-directive-index.py