Allow disabling doc generation with --disable-doc