On 9/19/16 11:11 AM, Takeshi Ideriha wrote:
> It seems that the description of message displayed after running ‘make
> world’ is
> different from the actual message echoed on a terminal.
>
> Actually, GNUmakefile.in says ‘~ documentation successfully made’
> but the documentation says ‘~ html documentation successfully made’.
> https://github.com/postgres/postgres/blob/master/GNUmakefile.in
Fixed, thanks.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services