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: http://www.postgresql.org/mailpref/pgsql-docs