Commit 81c0ec21 authored by Jakub Klinkovský's avatar Jakub Klinkovský
Browse files

build script: added missing parameter to install the documentation

parent bcaf9421

build

+1 −1
Original line number Diff line number Diff line
@@ -299,7 +299,7 @@ if ! $make -C "$BUILD_DIR" ${VERBOSE} $make_target; then 
fi



if [[ ${BUILD_DOC} == "yes" ]]; then

   "$ROOT_DIR/Documentation/build" --prefix="$PREFIX"

   "$ROOT_DIR/Documentation/build" --prefix="$PREFIX" --install="$INSTALL"

fi



if [[ ${BUILD_TESTS} == "yes" ]] || [[ ${BUILD_MATRIX_TESTS} == "yes" ]]; then