summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore13
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4488bc2d..92fc6e7f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,3 +37,16 @@ build-aux/
/mach/machine
/linux/src/include/asm
/linux/dev/include/asm
+
+/doc/mach.aux
+/doc/mach.cp
+/doc/mach.cps
+/doc/mach.fn
+/doc/mach.fns
+/doc/mach.ky
+/doc/mach.log
+/doc/mach.pdf
+/doc/mach.pg
+/doc/mach.toc
+/doc/mach.tp
+/doc/mach.vr