diff options
Diffstat (limited to 'tools/make-man-rules.py')
| -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 5e61917d60..0e755151d8 100644 --- a/tools/make-man-rules.py +++ b/tools/make-man-rules.py @@ -33,7 +33,7 @@ MANPAGES_ALIAS += \\ ''' CONDITIONAL = '''\ -if {conditional} +ifneq ($({conditional}),) ''' \ + SECTION + \ '''\ |