Fix generated header files being specified twice
Fix install location for docs