]> matita.cs.unibo.it Git - helm.git/commitdiff
added shortcut targets
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jun 2006 11:36:36 +0000 (11:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jun 2006 11:36:36 +0000 (11:36 +0000)
matita/help/C/Makefile

index a25effd585339a680662dc6f9ec2f73fc19d638e..499b985705f8cdb59084580e466b842e72a267c5 100644 (file)
@@ -77,5 +77,9 @@ endif
 %.ps: %.dvi
        dvips $<
 
+tex: $(patsubst %.xml,%.tex,$(MAIN))
+dvi: $(patsubst %.xml,%.dvi,$(MAIN))
+ps: $(patsubst %.xml,%.ps,$(MAIN))
+
 .PRECIOUS: matita.tex matita.dvi