From 4eab714a88bad2a9d8b29b5aa20465e71655e512 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 12 Jun 2006 11:36:36 +0000 Subject: [PATCH] added shortcut targets --- matita/help/C/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile index a25effd58..499b98570 100644 --- 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 -- 2.39.2