makefile

ftpserver very good sample

SOURCE=wfde-manual.xml
DEST=wfde-manual.pdf

all: ${DEST}
${DEST}: ${SOURCE}

wfde-manual.pdf: wfde-manual.xml
	db2pdf wfde-manual.xml
	mv wfde-manual.xml.pdf wfde-manual.pdf

html:
	db2html wfde-manual.xml

clean:
	rm  -R *~ *.tex *.aux *.log *# *.out *.pdf *.tmp db2html*


test:
	nsgmls -sv wfde-manual.xml