From 39a2d4303e0090cb5e9b390c8f4c6327e4df4a55 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sat, 21 Nov 2009 17:46:27 -0600
Subject: [PATCH] tools.time: update docs

---
 basis/tools/time/time-docs.factor | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
 mode change 100644 => 100755 basis/tools/time/time-docs.factor

diff --git a/basis/tools/time/time-docs.factor b/basis/tools/time/time-docs.factor
old mode 100644
new mode 100755
index 6603fa2d7e..d28202f844
--- a/basis/tools/time/time-docs.factor
+++ b/basis/tools/time/time-docs.factor
@@ -9,8 +9,7 @@ ARTICLE: "timing" "Timing code and collecting statistics"
 { $subsections dispatch-stats. gc-events. gc-stats. gc-summary. }
 "A lower-level word puts timings on the stack, intead of printing:"
 { $subsections benchmark }
-"You can also read the system clock directly:"
-{ $subsections system-micros }
+"You can also read the system clock directly; see " { $link "system" } "."
 { $see-also "profiling" "calendar" } ;
 
 ABOUT: "timing"