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"