Commit 65e3d373 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Add '--no-check' option to build_docs

parent d1df2f1e

ci-support.sh

+5 −1
Original line number Diff line number Diff line
@@ -364,7 +364,11 @@ build_docs() 


  cd doc



  if test "$1" = "--no-check"; then

    with_echo make html

  else

    with_echo make html SPHINXOPTS="-W --keep-going -n"

  fi

}



maybe_upload_docs()