diff --git a/.gitignore b/.gitignore index 7b6eb3f44..3cf656a62 100644 --- a/.gitignore +++ b/.gitignore @@ -46,3 +46,13 @@ src/config.log regressions/*.lsp regressions/eformat-tests/*.txt +*.aux +*.cp* +*.fn* +*.log +/src/doc/new-doc/*.lsp* +*.toc +*.tp* +*.vr* +/src/doc/new-doc/new-doc.pdf +/src/doc/new-doc/ecldoc.info