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