From 617d35aa9517394df035ea52811ecf89ca1a28fe Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sun, 3 Mar 2013 18:20:52 -0800
Subject: [PATCH] Ignore some TeX output files.

---
 src/docs/internals/.gitignore | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/docs/internals/.gitignore

diff --git a/src/docs/internals/.gitignore b/src/docs/internals/.gitignore
new file mode 100644
index 000000000..3dc4f08af
--- /dev/null
+++ b/src/docs/internals/.gitignore
@@ -0,0 +1,10 @@
+/architecture.aux
+/compiler.aux
+/design.aux
+/design.log
+/design.out
+/design.pdf
+/design.toc
+/glossary.aux
+/retargeting.aux
+/run-time.aux
-- 
GitLab