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