doc/runrst
changeset 10974 854ac04d712c
parent 10972 0a2c6948f5f4
child 11707 13d79a7bf5b7
--- a/doc/runrst	Thu Apr 22 10:24:49 2010 +0200
+++ b/doc/runrst	Fri Apr 23 09:53:25 2010 +0200
@@ -19,7 +19,14 @@
 
 def role_hg(name, rawtext, text, lineno, inliner,
             options={}, content=[]):
-    node = nodes.literal(rawtext, "hg " + utils.unescape(text, True))
+    text = "hg " + utils.unescape(text)
+    linktext = nodes.literal(rawtext, text)
+    parts = text.split()
+    cmd, args = parts[1], parts[2:]
+    if cmd == 'help' and args:
+        cmd = args[0] # link to 'dates' for 'hg help dates'
+    node = nodes.reference(rawtext, '', linktext,
+                           refuri="hg.1.html#%s" % cmd)
     return [node], []
 
 roles.register_local_role("hg", role_hg)