all: pisg-doc.txt html/index.html

pisg-doc.txt: pisg-doc.xml
	docbook2txt pisg-doc.xml
	mv pisg-doc.txt pisg-tmp.txt
	cat pisg-tmp.txt | ./modifytxt.pl > pisg-doc.txt
	rm -f pisg-tmp.txt

html/index.html: pisg-doc.xml
	-rm -f html/*
	docbook2html pisg-doc.xml -V "%use-id-as-filename%" -o html

clean:
	rm -rf html
	rm -f pisg-doc.txt