From 504bb901cf33b7d315a8d9147ac508025f495536 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 22 Jul 2012 22:12:19 -0700
Subject: [PATCH] help.html: adding links to github source files.

---
 basis/help/html/html.factor | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 53b75bc44c..48a3daf103 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -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] ;