summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/make-man-rules.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-man-rules.py b/tools/make-man-rules.py
index 9f46f7b889..e75bfffba1 100644
--- a/tools/make-man-rules.py
+++ b/tools/make-man-rules.py
@@ -62,7 +62,7 @@ FOOTER = '''\
# Really, do not edit this file.
EXTRA_DIST += \\
- {files}
+ {files}
'''
def man(page, number):