diff options
Diffstat (limited to 'tools/update-man-rules.py')
| -rwxr-xr-x | tools/update-man-rules.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/update-man-rules.py b/tools/update-man-rules.py index 1c2c9a8..3f10a29 100755 --- a/tools/update-man-rules.py +++ b/tools/update-man-rules.py @@ -85,6 +85,7 @@ def main(): pages = glob.glob(source_glob) pages = (p for p in pages if Path(p).name not in { + 'standard-conf.xml', 'systemd.directives.xml', 'systemd.index.xml', 'directives-template.xml'}) |