From 7817e6adf1cc547b426a3df44eda33a93a75b46c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= Date: Sat, 19 Feb 2022 11:23:51 +0100 Subject: [PATCH] Update .gitignore --- .gitignore | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index 7bcb4e25c..dd58be0fd 100644 --- a/.gitignore +++ b/.gitignore @@ -40,12 +40,18 @@ doc/docs doc/junk.ps doc/postproc doc/postproc.ml +doc/prefs.tmp +doc/prefsdocs.tmp +doc/temp.dvi +doc/temp.html +doc/texdirectives.tex doc/unison-manual.dtxt doc/unison-manual.dvi doc/unison-manual.html doc/unison-manual.htoc doc/unison-manual.pdf doc/unison-manual.ps +doc/unison-manual.txt doc/unisonversion.tex _build