%.txt : %.php
	php $< > $@ ; fromdos $@