--- time-1.7/time.texi~	Wed Jun 12 21:40:29 1996

+++ time-1.7/time.texi	Thu Dec 14 17:18:05 2000

@@ -12,6 +12,10 @@

 @end iftex

 @ifinfo

+@dircategory Monitoring

+@direntry

+* time: (time).				GNU time Utility

+@end direntry

 This file documents the the GNU @code{time} command for running programs

 and summarizing the system resources they use.