We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 17ea160 commit 77f63e2Copy full SHA for 77f63e2
ci/build-pages.sh
@@ -8,7 +8,7 @@
8
DIR=$(git rev-parse --show-toplevel)
9
pushd "${DIR}" > /dev/null || exit
10
pushd build > /dev/null || exit
11
-cmake -DHTML=ON -DFI=ON -DIT=ON -DJA=ON -DES=ON -DFR=ON -DDE=ON -DHU=ON -DOSGeoLiveDoc_DEBUG=ON ..
+cmake -DHTML=ON -DFI=ON -DIT=ON -DJA=ON -DES=ON -DFR=ON -DSV=ON -DDE=ON -DHU=ON -DOSGeoLiveDoc_DEBUG=ON ..
12
make
13
popd
14
bash scripts/clean-images.sh
0 commit comments