From b06a36208463e1f3a2475320100bafd0b4d016b2 Mon Sep 17 00:00:00 2001
From: "Eduardo Ramos Testillano (eramedu)"
 <eduardo.ramos.testillano@ericsson.com>
Date: Tue, 14 Apr 2020 17:07:24 +0200
Subject: [PATCH] Speed up docker building procedure

Comment doxygen generation at entrypoint.
You could do natively (make doc), but the important
 thing is the source build, not the documentation.
---
 docker-images/anna-build-nodb/deps/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-images/anna-build-nodb/deps/build.sh b/docker-images/anna-build-nodb/deps/build.sh
index 1243d5c..253e3d2 100755
--- 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 $?
-- 
2.20.1