diff --git a/build/documentation/build_docs.sh b/build/documentation/build_docs.sh index c38547b..e70b0a3 100755 --- a/build/documentation/build_docs.sh +++ b/build/documentation/build_docs.sh @@ -7,7 +7,7 @@ # documentation. Relative path is okay. You shouldn't have to change this # too often if your compiler always puts tidy in the same place. -TIDY_PATH="../cmake/tidy5" # Current directory. +TIDY_PATH="../cmake/tidy" # Current directory. TIDY_VERSION=`cat ../../version.txt`