X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-man-rules.py;h=9f53b55bbd3ff32ceeefe44d9febf3e9360dd279;hp=5415984d88e3f4c88e849d5954c76041a5f21bac;hb=1a5613266a93ddb197bbae137cd61fae25600718;hpb=37d3ab1b7e114f0fb6dfb2e7273569b42794b76a

diff --git a/make-man-rules.py b/make-man-rules.py
index 5415984d8..9f53b55bb 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))