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’.

A patch is attached.

Takeshi Ideriha

Attachment: installation-echo.patch
Description: Binary data

Reply via email to