all: kcp

plt:
	txt2tags --toc -ttex plt-book.txt
	cat prelude plt-book.tex >tmp.tex
	runghc Unquote.hs <tmp.tex >plt-book.tex
	pdflatex plt-book.tex
	makeindex plt-book
	pdflatex plt-book.tex
kcp:
	txt2tags --toc -ttex plt-book.txt
	cat preludekcp plt-book.tex >tmp.tex
	runghc Unquote.hs <tmp.tex >plt-kcp.tex
	pdflatex plt-kcp.tex
	makeindex plt-kcp
	pdflatex plt-kcp.tex