all:
	rm -f *.txt index
	unzip -L /home/ben/cdb111.zip
	for i in `grep -l '	' *.txt` ; \
		do expand $$i > $$i.new ;\
		mv $$i.new $$i ;\
	done
	echo -e '71\ns/F./F/\np\nw\nq' | ed distr-u.txt
	recode -d 1250/CR-LF..html *.txt
