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