doc: Fix documentation to match actual make output

Peter Eisentraut <peter_e@gmx.net>

Commit: 431a056271ff525661e85c781f817b3036c6e263
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2016-09-20T16:00:00Z
Releases: 9.4.10
doc: Fix documentation to match actual make output

based on patch from Takeshi Ideriha <iderihatakeshi@gmail.com>

Files

PathChange+/−
doc/src/sgml/installation.sgml modified +2 −2