diff options
-rw-r--r-- | .gitmodules | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 8e4e870..1652929 100644 --- a/.gitmodules +++ b/.gitmodules @@ -149,10 +149,10 @@ load-path = emacs info-path = doc/_build/texinfo build-nix-shell-packages = pkgconfig gitMinimal xapian gmime talloc zlib pythonPackages.sphinx pythonPackages.python texinfo - build-step = ./configure + build-step = ./configure --without-docs build-step = make - build-step = make sphinx-texinfo - build-step = borg-makeinfo + # build-step = make sphinx-texinfo + # build-step = borg-makeinfo [submodule "org"] path = lib/org url = git@code.orgmode.org:bzg/org-mode.git |