diff --git a/AUTOTEST/docs.sh b/AUTOTEST/docs.sh index 2abbe90bf..6cb2e6bd7 100755 --- a/AUTOTEST/docs.sh +++ b/AUTOTEST/docs.sh @@ -49,7 +49,7 @@ make clean make # Test documentation build in docs_misc/ -cd docs_misc +cd ../docs_misc make clean make