1 files changed, 4 insertions, 0 deletions

diff --git a/rules/.gitignore b/rules/.gitignore
new file mode 100644
index 0000000..ef5f7e5
--- /dev/null
+++ b/rules/.gitignore
@@ -0,0 +1,4 @@
+*.aux
+*.log
+*.out
+*.pdf