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)
commit16d1adb35cf887325b7c5dbf473632d557065171
tree4b6a2aaaa50b2325d54ae17ec2737a73fa8213ee
parent4f6494cfd26c1dfe708c4598c11eea5fce168fd1
doc: Fix documentation to match actual make output

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