re-enable sphinx

1 files changed, 1 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 08eb59ad33d..0a2e3d59dca 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -19,7 +19,7 @@ build() {
   export R_LIBS=$PWD
   cmake -DCMAKE_INSTALL_PREFIX=/usr \
         -DOPENTURNS_SYSCONFIG_PATH=/etc \
-        -DUSE_SPHINX=OFF . # latest sphinx has a bug
+        .
   make
 }