diff --git a/scripts/ci_run_examples.sh b/scripts/ci_run_examples.sh
index 0433bd79c..850fad0f4 100644
--- a/scripts/ci_run_examples.sh
+++ b/scripts/ci_run_examples.sh
@@ -4,7 +4,7 @@ set -e  # exit upon first error
 # > erase original content
 
 
-files=("docs/docDIAL.md" "docs/docIRM.md")
+files=("docs/docDIAL.md" "docs/docIRM.md" "docs/doc_examples.md")
 
 for file in "${files[@]}"
 do