From 058b0118a52061ad57694c01fc8763b22b789c4d Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Mon, 3 Jan 2005 06:40:20 +0000
Subject: Some man pages.

---
 man/man3/cputime.3 | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'man/man3/cputime.3')

diff --git a/man/man3/cputime.3 b/man/man3/cputime.3
index 5acf671a..c88340d8 100644
--- a/man/man3/cputime.3
+++ b/man/man3/cputime.3
@@ -24,11 +24,5 @@ child processes in user code, and child processes in system calls.
 returns the sum of those same times, converted to seconds.
 .I Times
 returns the elapsed real time, in milliseconds, that the process has been running.
-.PP
-These functions read
-.BR /dev/cputime ,
-opening that file when they are first called.
 .SH SOURCE
-.B /usr/local/plan9/src/libc/9sys
-.SH SEE ALSO
-.IR cons (3)
+.B /usr/local/plan9/src/lib9/time.c
-- 
cgit v1.2.3