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