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