all:	
	./make_db 
	
clean:
	rm -f *.[0-9][0-9] *.[0-9][0-9][0-9] *.tmp *.s3s *.idx  >/dev/null
	rm -f make_db.log linter.out >/dev/null

