time.texi @dircategory

[Karl Berry]

I suggest the following minor changes to time.texi (relative to 1.7) to
change the category in the Texinfo dir file -- I've been trying to
rationalize these categories per rms's suggestions.

Also, the frontmatter should be changed to use @copying, the GNU free
documentation license, @ifnottex instead of @ifinfo around the Top
node, putting @contents at the beginning, etc. -- this patch doesn't
do those things.  See
  http://texinfo.org/manual/Document-Permissions.html
  http://texinfo.org/manual/GNU-Sample-Texts.html
for information and an example of recommended frontmatter for GNU manuals.

Is anyone still maintaining GNU time?  There has not been a release in
7+ years.

Let me know if questions or problems.

Thanks,
karl (Texinfo maintainer)