diff --git a/tools/gha_deploydocs.sh b/tools/gha_deploydocs.sh index cbd787ff6..a5d199448 100644 --- a/tools/gha_deploydocs.sh +++ b/tools/gha_deploydocs.sh @@ -42,7 +42,7 @@ echo "Doxygen ran successfully"; # Copy the images into the xml output dir (this is needed by sphinx). cp images/* xml/; cd ../sphinx/; -make html linkcheck +#make html linkcheck set +e set +x