From 77fbc8af20b6e5dab2e225a9e54a3bbf989f95be Mon Sep 17 00:00:00 2001
From: Raja Boujbel <raja.boujbel@ocamlpro.com>
Date: Fri, 9 Aug 2024 12:53:04 +0200
Subject: [PATCH] non existiant file check

---
 .github/scripts/main/main.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh
index 65030b288a9..a057081bf7a 100644
--- 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"