From 2cab32f79d755619ffc5e9da9cd9814c4b62771f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= Date: Tue, 1 Mar 2016 16:55:35 +0100 Subject: [PATCH] cosmetic: new-doc: add some files to .gitignore --- .gitignore | 10 ++++++++++ 1 file changed, 10 insertions(+) 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