doc: Fix documentation to match actual make output

Peter Eisentraut <peter_e@gmx.net>

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