Skip to content

Commit

Permalink
good stuff
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Aug 9, 2024
1 parent 77fbc8a commit 8ae7a3a
Showing 1 changed file with 30 additions and 30 deletions.
60 changes: 30 additions & 30 deletions .github/scripts/main/main.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 8ae7a3a

Please sign in to comment.