More documentation committed.

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

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index b370567def24ba2a9a5ae804b9fa6d11961b5e00..a789086dc2de0a66ced99e0bd8b7198173e1f204 100644 (file)
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/matita/help/C/Makefile
@@ -1,12 +1,20 @@
+
+include ../../../Makefile.defs
+
 XSLTPROC=xsltproc
 XHTML_XSL=matita-xhtml.xsl
 FO_XSL=matita-fo.xsl
 TEX_XSL=matita-tex.xsl
+TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
+TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
 MAIN=matita.xml
 
-# one of "fop", "pdflatex"
+# one of: "fop", "pdflatex"
 PDF_METHOD=pdflatex
 
+# one of: "docbook2tex", "xsl"
+TEX_METHOD=xsl
+
 all: html txt
 
 clean:
@@ -16,6 +24,10 @@ clean:
        rm -f matita.out matita.log matita.glo matita.dvi matita.idx
        rm -f matita.aux matita.tex
 
+# test (dumb implementation)
+test:
+       SP_ENCODING=UTF-8 docbook2txt matita.xml
+
 # XHTMLs generation
 
 .PHONY: html
@@ -43,14 +55,26 @@ pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
 
 %.fo: %.xml
        xsltproc $(FO_XSL) $< | xmllint --format - > $@
+ifeq ($(TEX_METHOD),docbook2tex)
 %.tex: %.xml
+       docbook2tex $<
+else ifeq ($(TEX_METHOD),xsl)
+%.tex: %.xml $(TEX_XSL)
        xsltproc $(TEX_XSL) $< > $@
+endif
 
 ifeq ($(PDF_METHOD),fop)
 %.pdf: %.fo
        fop $< $@
 else ifeq ($(PDF_METHOD),pdflatex)
 %.pdf: %.tex
-       pdflatex $<
+       $(TEX_ENV) pdflatex $<
 endif
 
+%.dvi: %.tex
+       $(TEX_ENV) latex $<
+%.ps: %.dvi
+       dvips $<
+
+.PRECIOUS: matita.tex
+