]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: adding links to github source files.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Jul 2012 05:12:19 +0000 (22:12 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Jul 2012 05:12:19 +0000 (22:12 -0700)
basis/help/html/html.factor

index 53b75bc44cbca2e889dee5ab8b323a11ccd402da..48a3daf103f66ad8510bad04a9e53f88a594df5b 100644 (file)
@@ -60,6 +60,12 @@ M: f topic>filename* drop \ f topic>filename* ;
 
 M: topic url-of topic>filename ;
 
+M: pathname url-of
+    string>> "resource:" ?head [
+        "https://github.com/slavapestov/factor/blob/master/"
+        prepend
+    ] [ drop f ] if ;
+
 : help-stylesheet ( -- xml )
     "vocab:help/html/stylesheet.css" ascii file-contents
     [XML <style><-></style> XML] ;