From eb9ebf74d04517cbd2096f7eb8606a81b1be38da Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mtg@gnu.org>
Date: Sun, 5 Mar 2017 03:26:12 -0500
Subject: [PATCH] .gitignore: Add file

Ignore generated files.
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..16cc137
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.pdf
+*.tex
+