Hi,

Thank you for noticing this.

Unfortunately the whole manual is now installed twice.

* The raw version with the Makefile
* The build version without the Makefile is installed at a wrong location

I'll look at this soon

Reply via email to