all: tutorial.pdf tutorial.html

tutorial.pdf: arch.pdf tutorial.texi
	texi2pdf tutorial.texi

tutorial.html: arch.jpg tutorial.texi
	texi2any --html --no-split --css-ref=docstyle.css --css-ref=brown-paper.css tutorial.texi

arch.pdf:
	cp ../../common/graphics/arch.pdf .

arch.jpg:
	cp ../../common/graphics/arch.jpg .

clean:
	rm -f arch.jpg arch.pdf tutorial.html tutorial.pdf

info_TEXINFOS = tutorial.texi
manual_TEXINFOS = version.texi