summaryrefslogtreecommitdiff
path: root/manual/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'manual/.gitignore')
-rw-r--r--manual/.gitignore8
1 files changed, 6 insertions, 2 deletions
diff --git a/manual/.gitignore b/manual/.gitignore
index 056aa14..14f1d99 100644
--- a/manual/.gitignore
+++ b/manual/.gitignore
@@ -1,3 +1,7 @@
_minted-manual
-*.tex
-*.bbl \ No newline at end of file
+*.bbl
+*.aux
+*.log
+*.out
+*.pre
+svg-inkscape \ No newline at end of file