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=fb2792fc5489a22872058eb31525c6de1d30417e;hb=d928ebab750b6ac49b3ae97e2f9d1634c18a43fa;hp=0000000000000000000000000000000000000000;hpb=c334523c4ff9b584ac108097fa6430e29f935e8f;p=helm.git

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