default:
	echo make clean, realclean or mirror-pbnfi

mirror-pbnfi: clean
	rsync -p -t -v -v -l -r -e ssh --progress --delete . sherlock@pbnfi:Public/NLUUG2001

realclean: clean
	rm -f *.aux *.toc *.out *.tmp

clean:
	rm -f %* *.dvi *.log