summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorxantares2015-07-25 01:14:30 +0200
committerxantares2015-07-25 01:14:30 +0200
commitf05270d67d3378f7e99414c794cd78475e83787f (patch)
tree4c1de65ae0b80970ea914c2ab67dbdd05554432f
parent0fe2eb44bc95c42c8b923b98d6095987d539ea83 (diff)
downloadaur-f05270d67d3378f7e99414c794cd78475e83787f.tar.gz
re-enable sphinx
-rw-r--r--PKGBUILD2
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
}