diff options
| -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): |