update-man-rules: properly filter out directives index again
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 13 Jun 2020 14:29:43 +0000 (16:29 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 13 Jun 2020 15:31:59 +0000 (17:31 +0200)
commita2095c06988499ee32e769de78663367495be33a
treeebd323b7509db03e360e5750455cd7e82a5996e4
parent97033ba455c4c1e359835879eee2e3c690395792
update-man-rules: properly filter out directives index again

When directives-template.xml was created in 282230882cd0fc49b5377349f2aee22a1c9dd159,
this generator started picking it up. Let's filter it out properly again,
and also simply the filter while at it.
tools/update-man-rules.py