diff options
| author | Filipe Brandenburger <filbranden@google.com> | 2014-06-16 20:54:48 -0700 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2014-06-20 14:41:09 +0200 |
| commit | d7c9aa5e6463c68f78f634b87394c4eda9886a8f (patch) | |
| tree | 2cd2e98a74082b9c6c78883309db55c8af56cc96 /tools | |
| parent | 61b5c82d91694a51bc886a61d5cc94f473dc7dd6 (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')
| -rw-r--r-- | tools/make-man-rules.py | 2 |
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): |