doc: Fix documentation to match actual make output
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 20 Sep 2016 16:00:00 +0000 (12:00 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 20 Sep 2016 16:00:00 +0000 (12:00 -0400)
commitee33250f759108c0be163452c10677af0a99ef9e
tree6be6b033d991c5aab1fc6706435d5f33a515a67d
parent8c48a89da246f4b536c1b38b47cfe6e174c9a9fc
doc: Fix documentation to match actual make output

based on patch from Takeshi Ideriha <iderihatakeshi@gmail.com>
doc/src/sgml/installation.sgml