YEAR=85

all: data/euroforth${YEAR}.bib

data/euroforth${YEAR}.bib: gen-files.awk paperdata top.html bottom.html
	awk -v "year=${YEAR}" -f gen-files.awk paperdata >data/proceedings-files.tex

clean:
	rm data/proceedings.pdf data/proceedings-files.tex