diff --git a/scripts/fetch_documentation.sh b/scripts/fetch_documentation.sh
--- a/scripts/fetch_documentation.sh
+++ b/scripts/fetch_documentation.sh
@@ -41,6 +41,9 @@
 fi
 
 pushd "${SRC_DIR}"
+git reset --hard HEAD
+git clean -xffd || true
+git checkout master
 git pull --tags origin master
 popd