fixed some typos

[helm.git] / helm / papers / system_T / Makefile

diff --git a/helm/papers/system_T/Makefile b/helm/papers/system_T/Makefile
new file mode 100644 (file)
index 0000000..fb2792f
--- /dev/null
+++ b/helm/papers/system_T/Makefile
@@ -0,0 +1,5 @@
+all:
+               latex t
+               latex t
+               latex t
+               dvips -ta4 t