doc: Update Red Hat documentation tools information
The old text was written in ancient times when RPM packages could be
shared more or less freely across a plethora of RPM-based Linux
distributions. This isn't really the case anymore, so just make this
information more concrete for the Red Hat family.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/f43afbca701113fb6538e38e1f95666fb1910e2f
Modified Files
--------------
doc/src/sgml/docguide.sgml | 15 +++++----------
1 file changed, 5 insertions(+), 10 deletions(-)