X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2FMakefile;h=bdffeb5e3e36aa9597555a86e92b47b0a4e0c521;hb=ae88c7c1481ac9ddf5d55e2144b6db418a25fdd1;hp=817d6964ae2bb125cc21d8e472707e3ed4be88ec;hpb=1f2917bc135300b4fd23314a21946e7df7933f81;p=helm.git

diff --git a/matita/matita/help/C/Makefile b/matita/matita/help/C/Makefile
index 817d6964a..bdffeb5e3 100644
--- a/matita/matita/help/C/Makefile
+++ b/matita/matita/help/C/Makefile
@@ -1,5 +1,5 @@
 
-include ../../../Makefile.defs
+#include ../../../Makefile.defs
 
 XSLTPROC=xsltproc
 XHTML_XSL=xsl/matita-xhtml.xsl
@@ -28,11 +28,11 @@ pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
 	touch $@
 
 %.pdf: %.xml
-	dblatex -rscripts/fix-symbols.sh -tpdf $< 
+	dblatex -r scripts/fix-symbols.sh -t pdf $< 
 %.dvi: %.xml
-	dblatex -rscripts/fix-symbols.sh -tdvi $<
+	dblatex -r scripts/fix-symbols.sh -t dvi $<
 %.ps: %.xml
-	dblatex -rscripts/fix-symbols.sh -tps $<
+	dblatex -r scripts/fix-symbols.sh -t ps $<
 
 install: install-html install-pdf
 install-pdf: pdf-stamp