diff options
Diffstat (limited to 'make-man-rules.py')
| -rw-r--r-- | make-man-rules.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/make-man-rules.py b/make-man-rules.py index 5415984d88..9f53b55bbd 100644 --- a/make-man-rules.py +++ b/make-man-rules.py @@ -29,6 +29,7 @@ MANPAGES += \\ MANPAGES_ALIAS += \\ {aliases} {rules} +{htmlrules} ''' CONDITIONAL = '''\ @@ -51,6 +52,11 @@ CLEANFILES += \\ {cleanfiles} ''' +HTML_ALIAS_RULE = '''\ +{}.html: {}.html + $(html-alias) +''' + def man(page, number): return 'man/{}.{}'.format(page, number) @@ -91,6 +97,9 @@ def make_makefile(rules, cleanfiles): rules='\n'.join('{}: {}'.format(k,v) for k,v in sorted(rulegroup.items()) if k != v), + htmlrules='\n'.join(HTML_ALIAS_RULE.format(k[:-2],v[:-2]) + for k,v in sorted(rulegroup.items()) + if k != v), conditional=conditional) for conditional,rulegroup in sorted(rules.items())) + \ CLEANFILES.format(cleanfiles=mjoin(cleanfiles)) |