From 8ae7a3a6e2b0d972caa358e164cd3e40e535cd8e Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Fri, 9 Aug 2024 15:10:12 +0200 Subject: [PATCH] good stuff --- .github/scripts/main/main.sh | 60 ++++++++++++++++++------------------ 1 file changed, 30 insertions(+), 30 deletions(-) diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh index a057081bf7a..4e91fdbd4aa 100644 --- a/.github/scripts/main/main.sh +++ b/.github/scripts/main/main.sh @@ -73,43 +73,43 @@ if [ "$OPAM_DOC" = "1" ]; then else echo 'No new module added' fi + fi - echo '::group::checking generated files' - files=" - doc/index.html - doc/html/index.html - doc/man-html/index.html + echo '::group::checking generated files' + files=" + doc/index.html + doc/html/index.html + doc/man-html/index.html - doc/html/opam-admin/index.html - doc/html/opam-core/index.html - doc/html/opam-devel/index.html - doc/html/opam-format/index.html - doc/html/opam/index.html - doc/html/opam-installer/index.html - doc/html/opam-repository/index.html - doc/html/opam-solver/index.html - doc/html/opam-state/index.html + doc/html/opam-admin/index.html + doc/html/opam-core/index.html + doc/html/opam-devel/index.html + doc/html/opam-format/index.html + doc/html/opam/index.html + doc/html/opam-installer/index.html + doc/html/opam-repository/index.html + doc/html/opam-solver/index.html + doc/html/opam-state/index.html - nonexistent.ml + nonexistent.ml - doc/pages/Install.html - doc/pages/Install.md - doc/man-html/opam-init.html" + doc/pages/Install.html + doc/pages/Install.md + doc/man-html/opam-init.html" - set +e - missing="" - for file in $files; do - if ! test -f $file ; then - missing="$missing $file" - fi - done - set -e - if [ "x$missing" != "x" ]; then - echo "::error missing generated doc files: $missing" - exit 4 + set +e + missing="" + for file in $files; do + if ! test -f $file ; then + missing="$missing $file" fi - echo '::engroup::' + done + set -e + if [ "x$missing" != "x" ]; then + echo "::error missing generated doc files: $missing" + exit 4 fi + echo '::engroup::' fi if [ "$OPAM_TEST" = "1" ]; then