diff options
Diffstat (limited to 'make-man-rules.py')
| -rw-r--r-- | make-man-rules.py | 20 |
1 files changed, 4 insertions, 16 deletions
diff --git a/make-man-rules.py b/make-man-rules.py index 9f53b55bbd..46a586374f 100644 --- a/make-man-rules.py +++ b/make-man-rules.py @@ -21,7 +21,6 @@ from __future__ import print_function import xml.etree.ElementTree as tree import collections import sys -import os SECTION = '''\ MANPAGES += \\ @@ -46,12 +45,6 @@ HEADER = '''\ ''' -CLEANFILES = '''\ - -CLEANFILES += \\ - {cleanfiles} -''' - HTML_ALIAS_RULE = '''\ {}.html: {}.html $(html-alias) @@ -89,7 +82,7 @@ def create_rules(*xml_files): def mjoin(files): return ' \\\n\t'.join(sorted(files) or '#') -def make_makefile(rules, cleanfiles): +def make_makefile(rules): return HEADER + '\n'.join( (CONDITIONAL if conditional else SECTION).format( manpages=mjoin(set(rulegroup.values())), @@ -101,13 +94,8 @@ def make_makefile(rules, cleanfiles): for k,v in sorted(rulegroup.items()) if k != v), conditional=conditional) - for conditional,rulegroup in sorted(rules.items())) + \ - CLEANFILES.format(cleanfiles=mjoin(cleanfiles)) + for conditional,rulegroup in sorted(rules.items())) 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 os.path.basename(source) + '.in' in basenames]) - rules = create_rules(*(sources - spares)) - print(make_makefile(rules, spares), end='') + rules = create_rules(*sys.argv[1:]) + print(make_makefile(rules), end='') |