aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore12
1 files changed, 11 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e5b4291..2761c63 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,14 +7,24 @@ _/
*.bak
*.swo
*.swp
+
+## Texinfo
+*.info
+*.pdf
+*.ps
+*.dvi
*.aux
*.cp
+*.cps
*.fn
*.ky
*.log
-*.pdf
*.pg
*.toc
*.tp
*.vr
+*.op
+*.ops
+*.pgs
+*.vrs