doc: Fix documentation to match actual make output

Peter Eisentraut <peter_e@gmx.net>

Commit: 775c5502a86ee4c599b8547809659c086dae1bc8
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2016-09-20T16:00:00Z
Releases: 9.2.19
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