From 27cfe25967058504fab37cbe320a3c027612aa9a Mon Sep 17 00:00:00 2001
From: Dylan Simon <dylan@dylex.net>
Date: Fri, 6 Apr 2018 11:43:10 -0400
Subject: [PATCH] [jenkins] Use CPP2RST_INCLUDE_COMMAND instead

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 4a7dd330..39978459 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,6 +7,6 @@ WORKDIR $BUILD/$APPNAME
 RUN chown build .
 USER build
 ARG BUILD_DOC=0
-RUN cmake $SRC/$APPNAME -DTRIQS_ROOT=${INSTALL} -DBuild_Documentation=${BUILD_DOC} -DCPP2RST_INCLUDE_DIRS=--includes=/usr/lib/llvm-${LLVM}/include/c++/v1 && make -j2 && make test
+RUN cmake $SRC/$APPNAME -DTRIQS_ROOT=${INSTALL} -DBuild_Documentation=${BUILD_DOC} -DCPP2RST_INCLUDE_COMMAND=--includes=/usr/lib/llvm-${LLVM}/include/c++/v1 && make -j2 && make test
 USER root
 RUN make install