diff --git a/.gitignore b/.gitignore index 6b885ceee..5a8db3632 100644 --- a/.gitignore +++ b/.gitignore @@ -56,7 +56,7 @@ regressions/eformat-tests/*.txt *.tp* *.vr* /src/doc/new-doc/new-doc.pdf -/src/doc/new-doc/ecldoc.info +/src/doc/new-doc/ecldoc.info* /src/doc/new-doc/new-doc.ex /src/doc/new-doc/new-doc.exs /src/doc/new-doc/new-doc.ft