33c33
< .\" $FreeBSD: head/usr.bin/time/time.1 50477 1999-08-28 01:08:13Z peter $
---
> .\" $FreeBSD: head/usr.bin/time/time.1 51090 1999-09-08 15:40:46Z sheldonh $
93,100c93,98
< Most shells (including
< .Xr csh 1 )
< have their own and syntactically different builtin version of
< .Nm time .
< The command described here
< is available as
< .Pa /usr/bin/time
< to users of those shells.
---
> Some shells may provide a builtin
> .Nm
> command which is similar or identical to this utility. Consult
> the
> .Xr builtin 1
> manual page.
117a116
> .Xr builtin 1 ,