Speed up docker building procedure

[anna.git] / docker-images / anna-build-nodb / deps / build.sh

diff --git a/docker-images/anna-build-nodb/deps/build.sh b/docker-images/anna-build-nodb/deps/build.sh
index 1243d5c..253e3d2 100755 (executable)
--- a/docker-images/anna-build-nodb/deps/build.sh
+++ b/docker-images/anna-build-nodb/deps/build.sh
@@ -5,6 +5,6 @@ then
 else
    cmake -DSKIP_DATABASE_BUILD=1 $@ .
    make -j `grep processor /proc/cpuinfo | wc -l` $2
-   make doc
+   #make doc
 fi
 exit $?