1 # Makefile for SBCL document generation
3 DOCFILE_BASE_DEFAULT:=user-manual
4 DOCFILE_EXT_DEFAULT:=xml
6 # Standard docfile processing as copied from UFFI
7 # Placed into public domain by author Kevin Rosenberg
9 DEBIAN=$(shell expr "`cat /etc/issue`" : '.*Debian.*')
10 SUSE=$(shell expr "`cat /etc/issue`" : '.*SuSE.*')
11 REDHAT=$(shell expr "`cat /etc/issue`" : '.*RedHat.*')
28 DOCFILE_BASE=${DOCFILE_BASE_DEFAULT}
32 DOCFILE_EXT=${DOCFILE_EXT_DEFAULT}
35 DOCFILE:=${DOCFILE_BASE}.${DOCFILE_EXT}
36 FOFILE:=${DOCFILE_BASE}.fo
37 PDFFILE:=${DOCFILE_BASE}.pdf
38 PSFILE:=${DOCFILE_BASE}.ps
39 DVIFILE:=${DOCFILE_BASE}.dvi
40 TXTFILE:=${DOCFILE_BASE}.txt
41 HTMLFILE:=${DOCFILE_BASE}.html
42 TMPFILES:=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
43 DOCFILES:=$(shell echo *.xml *.xsl)
49 CATALOG:=`pwd`/catalog-${OS}.xml
50 CHECK:=XML_CATALOG_FILES="$(CATALOG)" xmllint --noout --xinclude --postvalid $(DOCFILE) || exit 1
63 @echo "Operating system detected: ${OS}"
69 html-stamp: $(DOCFILES) Makefile
72 @XML_CATALOG_FILES="$(CATALOG)" $(XSLTPROC) --stringparam chunker.output.encoding ISO-8859-1 \
73 --xinclude --output html/ html_chunk.xsl $(DOCFILE)
79 ${FOFILE}: $(DOCFILES) Makefile
80 @XML_CATALOG_FILES="$(CATALOG)" $(XSLTPROC) --xinclude --output $(FOFILE) fo.xsl $(DOCFILE)
85 ${PDFFILE}: ${DOCFILES} Makefile
87 @fop $(FOFILE) -pdf $(PDFFILE) > /dev/null
95 ${PSFILE}: ${DOCFILES} Makefile
97 @fop $(FOFILE) -ps $(PSFILE) > /dev/null
103 ${TXTFILE}: ${FOFILE}
104 @XML_CATALOG_FILES="$(CATALOG)" $(XSLTPROC) --xinclude --output ${HTMLFILE} html.xsl $(DOCFILE)
105 lynx -dump ${HTMLFILE} > ${TXTFILE}
109 @rm -f *~ *.bak *.orig \#*\# .\#* texput.log
110 @rm -rf html $(PSFILE) $(HTMLFILE) $(PDFFILE) html-stamp
111 @rm -f $(TMPFILES) $(FOFILE)
112 @rm -f $(DVIFILE) $(TXTFILE)