gcc manuals -vs- @dircategory

[Tom Tromey <tromey at redhat dot com>]

Right now the gcc manuals all do this:

    @dircategory Programming

In the Texinfo manual it says this:

      Here are some recommended `@dircategory' categories: `GNU packages',
    `GNU programming tools', `GNU programming documentation', `GNU Emacs
    Lisp', `GNU libraries', `Linux', `TeX', `Individual utilities'.  The
    idea is to include the `invoking' node for every program installed by a
    package under `Individual utilities', and an entry for the manual as a
    whole in the appropriate other category.

Should we be using `GNU programming tools' instead?

Finally, I notice that we install and document gcov, but we don't
mention it in the `Individual utilities' section.  Is this
intentional?

Tom