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 | |
| 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.
| -rw-r--r-- | Makefile-man.am | 2 | ||||
| -rw-r--r-- | tools/make-man-rules.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Makefile-man.am b/Makefile-man.am index 1e321f939b..1e4ec6793e 100644 --- a/Makefile-man.am +++ b/Makefile-man.am @@ -1478,7 +1478,7 @@ endif # Really, do not edit this file. EXTRA_DIST += \ - man/binfmt.d.xml \ + man/binfmt.d.xml \ man/bootchart.conf.xml \ man/bootctl.xml \ man/bootup.xml \ 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): |