makefile etc.

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
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 (file)
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 *~