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

Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org)
To make changes to your subscription:

Reply via email to