Makefiles removed in favour of dune-only solution

[helm.git] / matita / matita / help / C / Makefile

diff --git a/matita/matita/help/C/Makefile b/matita/matita/help/C/Makefile
index 817d6964ae2bb125cc21d8e472707e3ed4be88ec..bdffeb5e3e36aa9597555a86e92b47b0a4e0c521 100644 (file)
--- 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