From a1b8df7488e9bb3005b26b6ca1bf67a734f89c68 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 25 Nov 2008 19:13:52 +0000 Subject: [PATCH] ... --- helm/software/matita/help/C/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile index 37df4f3e4..b81048982 100644 --- a/helm/software/matita/help/C/Makefile +++ b/helm/software/matita/help/C/Makefile @@ -28,7 +28,7 @@ pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN)) touch $@ %.pdf: %.xml - dblatex -rscripts/fix-symbols.sh -tpdf $< + dblatex -rscripts/fix-symbols.sh -tpdf $< || dblatex -tpdf $< %.dvi: %.xml dblatex -rscripts/fix-symbols.sh -tdvi $< %.ps: %.xml -- 2.39.2