control if markdown files were created

.github/workflows/jekyll-gh-pages.yml

@@ -36,6 +36,7 @@ jobs:
           sudo apt update
           sudo apt install -y pandoc
           bash ./scripts/generate_online_documentation.sh
+          ls -lh ../docs/*
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - name: Build with Jekyll