]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/system_T/Makefile
removed papers dir, now all papers are in the new "papers" repository
[helm.git] / helm / papers / system_T / Makefile
diff --git a/helm/papers/system_T/Makefile b/helm/papers/system_T/Makefile
deleted file mode 100644 (file)
index fb2792f..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-all:
-               latex t
-               latex t
-               latex t
-               dvips -ta4 t