]> gitweb.factorcode.org Git - factor.git/commitdiff
Add ui-tools link to tools article
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Sun, 11 Jan 2009 05:41:50 +0000 (23:41 -0600)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Sun, 11 Jan 2009 05:41:50 +0000 (23:41 -0600)
basis/help/handbook/handbook.factor

index 69c20468349b8a709326d4b0ef86cf5e8648be27..f63bb35f65a4254c083117b297b7032c2a034e2f 100644 (file)
@@ -209,7 +209,8 @@ ARTICLE: "tools" "Developer tools"
 { $subsection "timing" }
 { $subsection "tools.disassembler" }
 "Deployment tools:"
-{ $subsection "tools.deploy" } ;
+{ $subsection "tools.deploy" }
+{ $see-also "ui-tools" } ;
 
 ARTICLE: "article-index" "Article index"
 { $index [ articles get keys ] } ;