diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-08 11:03:50 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-09 08:47:50 -0500 |
| commit | 87cfe600c7a5c0632f8dcc7713b0b1e3825b75cc (patch) | |
| tree | 5de3e113cba11b9935e40ede0260a3df4af14599 /make-man-rules.py | |
| parent | 9b2810721d63c6c5daedd4f86c963eb69f7ab120 (diff) | |
build-sys: generate links for html alias pages
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)) |