diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
index 834d2375c9..a2cb16eaa3 100644
--- a/.github/workflows/ebnf.yml
+++ b/.github/workflows/ebnf.yml
@@ -51,6 +51,7 @@ jobs:
           pdflatex -shell-escape ebnf.tex
           convert -density 300 -quality 100 -colorspace RGB ebnf.pdf ebnf.png
           mkdir gh-pages
+          ls -al
           cp ebnf.png gh-pages
       - uses: JamesIves/github-pages-deploy-action@v4.4.1
         with:
diff --git a/eo-parser/src/test/resources/tex/.gitignore b/eo-parser/src/test/resources/tex/.gitignore
new file mode 100644
index 0000000000..0e77146031
--- /dev/null
+++ b/eo-parser/src/test/resources/tex/.gitignore
@@ -0,0 +1,2 @@
+*.aux
+*.log