--- 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.