trademarks

["David C. Mason" <dcm redhat com>]

OK guys after looking into the issue after RMS brought it up. We need
to change our policy on trademarks. Please do not use the 'blah is a
trademark of...' stuff anymore. Instead, substitute the following
paragraph and make sure to use caps for the first letter of the
trademarked name.

###################

Many of the names used by companies to distinguish their products and
services are claimed as trademarks. Where those names appear in any
GNOME documentation, and those trademarks are made aware to the
members of the GNOME Documentation Project, the names


####################





Thanks,

Dave