comment out the make doc line (for OBS)