summaryrefslogtreecommitdiff
path: root/make-man-rules.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-08 11:03:50 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-09 08:47:50 -0500
commit87cfe600c7a5c0632f8dcc7713b0b1e3825b75cc (patch)
tree5de3e113cba11b9935e40ede0260a3df4af14599 /make-man-rules.py
parent9b2810721d63c6c5daedd4f86c963eb69f7ab120 (diff)
build-sys: generate links for html alias pages
Diffstat (limited to 'make-man-rules.py')
-rw-r--r--make-man-rules.py9
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))