added shortcut targets

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index a25effd585339a680662dc6f9ec2f73fc19d638e..499b985705f8cdb59084580e466b842e72a267c5 100644 (file)
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -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