some more lines in manual mode

[imago.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0d20b64..86dba7c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,8 @@
 *.pyc
+saved
+captured
+doc/*.aux
+doc/*.log
+doc/*.out
+doc/*.pdf
+doc/*.synctex.gz