doc: Update Red Hat documentation tools information
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 21 Oct 2014 14:43:09 +0000 (10:43 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 21 Oct 2014 14:43:09 +0000 (10:43 -0400)
commitf43afbca701113fb6538e38e1f95666fb1910e2f
tree9c0d88cef82e140268313808375f764c597750cd
parentf048e50037b1aa5cda857ce5f6cc17a1ea410987
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.
doc/src/sgml/docguide.sgml