remove doc submodule, ignore it instead