chiark / gitweb /
Also drop <authorgroup> from autogenerated pages
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 14 Jun 2018 10:28:53 +0000 (12:28 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 24 Aug 2018 14:47:08 +0000 (16:47 +0200)
commit35a2e1ef5230ea7f300bf0e76175e738f8075310
treef4afdd968ecb082925c309010f66a4174bb25f07
parentc4bf2a567a48fbc342fe840d821af5da38dd2505
Also drop <authorgroup> from autogenerated pages
tools/make-directive-index.py
tools/make-man-index.py