summaryrefslogtreecommitdiff
path: root/tools/make-man-rules.py
diff options
context:
space:
mode:
authorFilipe Brandenburger <filbranden@google.com>2014-06-16 20:54:48 -0700
committerLennart Poettering <lennart@poettering.net>2014-06-20 14:41:09 +0200
commitd7c9aa5e6463c68f78f634b87394c4eda9886a8f (patch)
tree2cd2e98a74082b9c6c78883309db55c8af56cc96 /tools/make-man-rules.py
parent61b5c82d91694a51bc886a61d5cc94f473dc7dd6 (diff)
build-sys: fix indentation in make-man-rules generated output
This fixes the footer where 7 spaces were used on the first line of EXTRA_DIST, but a Tab was clearly intended.
Diffstat (limited to 'tools/make-man-rules.py')
-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):