From 4950c943286e5e543ffaafa15b80504744f6b993 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 1 Mar 2012 03:44:20 +0000
Subject: [PATCH] makefile etc.

---
 .gitignore | 6 ++++++
 Makefile   | 6 ++++++
 2 files changed, 12 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..cafc31f
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+*.aux
+*.log
+*.dvi
+*.out
+*.pdf
+*~
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..3c82b5b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,6 @@
+
+article.pdf: article.tex
+		pdflatex -halt-on-error $< </dev/null
+
+clean:
+	rm -f *.aux *.log *.dvi *.out *.pdf *~
-- 
2.30.2