Hi.

johan556 / gmail.com wrote:
> Yes. Now "make install-doc" works.

Thank you reporting.  I've cheked this in.