no need to add avim_proto_doc submodule