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