diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-27 20:16:38 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-27 21:55:00 -0500 |
commit | 185c3be03cec26023acc11b49553753aa7330a1d (patch) | |
tree | 7c8245e5aa1bb299ae4837cdb71d94e2427726b5 /make-man-rules.py | |
parent | fcc43d015815c23700854a8d3800850910282c8c (diff) |
build-sys: fix update-man-rules for vpath builds
Diffstat (limited to 'make-man-rules.py')
-rw-r--r-- | make-man-rules.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/make-man-rules.py b/make-man-rules.py index 9c50c8dec2..5415984d88 100644 --- a/make-man-rules.py +++ b/make-man-rules.py @@ -21,6 +21,7 @@ from __future__ import print_function import xml.etree.ElementTree as tree import collections import sys +import os SECTION = '''\ MANPAGES += \\ @@ -40,7 +41,7 @@ endif HEADER = '''\ # Do not edit. Generated by make-man-rules.py. -# Regenerate with 'make update-man-list'. +# Regenerate with 'make all update-man-list'. ''' @@ -96,7 +97,8 @@ def make_makefile(rules, cleanfiles): if __name__ == '__main__': sources = set(sys.argv[1:]) + basenames = [os.path.basename(source) for source in sources] spares = set([source for source in sources - if source + '.in' in sources]) + if os.path.basename(source) + '.in' in basenames]) rules = create_rules(*(sources - spares)) print(make_makefile(rules, spares), end='') |