all: clean
	runghc utils/publish.hs

clean:
	rm -f 20*.html
	rm -f 20*.txt
	rm -f 20*.wiki
	rm -f 20*.tex
	rm -f 20*.dvi
	rm -f 20*.pdf
	rm -f 20*.aux
	rm -f 20*.log

show: all
	w3m 20*.html