doc: Fix documentation to match actual make output

Peter Eisentraut <peter_e@gmx.net>

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