-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
36 lines (27 loc) · 784 Bytes
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
# Build all the documentation using the PRM-in-XML tools
.PHONY: output pdf dirs
TOOL = riscos-prminxml
LOGDIR=logs
all: pdf
lint: dirs
${TOOL} --lint -f index -L ${LOGDIR} index.xml
cat ${LOGDIR}/2-build.log
output: dirs
${TOOL} -f index -L ${LOGDIR} index.xml
cat ${LOGDIR}/2-build.log
pdf: output
ifeq (${PRINCEXML_I_HAVE_A_LICENSE},1)
if [ -f output/html/filelist.txt ] ; then \
cd output/html && prince --verbose -o ../RISC_OS_Staging_Documents.pdf -l filelist.txt ; \
else \
echo NOTE: riscos-prminxml tool is too old to generate PDF. ; \
fi
else
echo NOTE: Not licensed for PrinceXML, so not building the PDF.
endif
dirs:
mkdir -p ${LOGDIR}
zip: output
rm -f src.zip output.zip
zip -9r src.zip index.xml build.sh Makefile src
zip -9r output.zip output