X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fsystem_T%2FMakefile;fp=helm%2Fpapers%2Fsystem_T%2FMakefile;h=0000000000000000000000000000000000000000;hb=2cf4633988fe480f90b477ddaa586d218afc22d6;hp=fb2792fc5489a22872058eb31525c6de1d30417e;hpb=85747dc6d0578b484544bb8120aad7aa89813f27;p=helm.git

diff --git a/helm/papers/system_T/Makefile b/helm/papers/system_T/Makefile
deleted file mode 100644
index fb2792fc5..000000000
--- a/helm/papers/system_T/Makefile
+++ /dev/null
@@ -1,5 +0,0 @@
-all:
-		latex t
-		latex t
-		latex t
-		dvips -ta4 t