Hi, I'm sorry that somehow the patch was not attached in the previous mail. I'm trying again.
Thank you, Takeshi Ideriha 2016-09-20 0:11 GMT+09:00 Takeshi Ideriha <iderihatake...@gmail.com>: > Hello, this is my first posting to the mailing list. > > 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 > > A patch is attached. > > Regards, > Takeshi Ideriha > > > > >
installation-echo.patch
Description: Binary data
-- Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
