Update WITH_DOC in docker

9 years ago · 7be8e69990
parent 8d3ac7a209
commit 7be8e69990
1 changed files with 1 additions and 1 deletions
--- a/paddle/scripts/docker/build.sh
+++ b/paddle/scripts/docker/build.sh
@ -19,7 +19,7 @@ if [[ ${BUILD_AND_INSTALL:-ON} == 'ON' ]]; then
    mkdir -p /paddle/build # -p means no error if exists
    cd /paddle/build
    cmake .. \
-	  -DWITH_DOC=OFF \
+	  -DWITH_DOC=${WITH_GPU:-OFF} \
 	  -DWITH_GPU=${WITH_GPU:-OFF} \
 	  -DWITH_AVX=${WITH_AVX:-OFF} \
 	  -DWITH_SWIG_PY=ON \