non existiant file check

rjbou · Aug 9, 2024 · 77fbc8a · 77fbc8a
1 parent 99f0f72
commit 77fbc8a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh
@@ -90,6 +90,8 @@ if [ "$OPAM_DOC" = "1" ]; then
     doc/html/opam-solver/index.html
     doc/html/opam-state/index.html
 
+    nonexistent.ml
+
     doc/pages/Install.html
     doc/pages/Install.md
     doc/man-html/opam-init.html"