OPTIONS=../src/soot/options
all:
	xsltproc ${OPTIONS}/soot_options.xsl ${OPTIONS}/soot_options.xml > options.html
	./generate_tutorial