Make doc generation optional