diff --git a/man1/time.1 b/man1/time.1 index 2e01a5dcc..fe85c1414 100644 --- a/man1/time.1 +++ b/man1/time.1 @@ -46,7 +46,8 @@ Note: some shells (e.g., .BR bash (1)) have a built-in .B time -command that provides less functionality than the command described here. +command that provides similar information on the usage of time and +possibly other resources. To access the real command, you may need to specify its pathname (something like .IR /usr/bin/time ). @@ -316,6 +317,7 @@ and C compiler you used. .\" .IP "Francois Pinard" .\" Helped with portability .SH SEE ALSO +.BR bash(1), .BR tcsh (1), .BR times (2), .BR wait3 (2)