potential documentation contribution

[Jeremy Bryant]

Hello gdb developers,

I would like to contribute a documentation patch.
Upon reading the gdb README, it would seem the example given, sun4,
decstation, is perhaps out of date?

Is this a good idea to submit a patch?
--
   This will configure and build all the libraries as well as GDB.  If
`configure' can't determine your system type, specify one as its
argument, e.g., `./configure sun4' or `./configure decstation'.
---


As I understand a potential documentation patch should be submitted to
gdb-patches@sourceware.org.
I have read:
https://sourceware.org/gdb/wiki/ContributionChecklist

Any other suggestions please let me know.