all: onboarding.pdf onboarding.html

onboarding.pdf: onboarding.texi
	texi2pdf onboarding.texi

onboarding.html: onboarding.texi
	texi2any --html --no-split --css-ref=docstyle.css --css-ref=brown-paper.css onboarding.texi

clean:
	rm -f onboarding.html onboarding.pdf

info_TEXINFOS = onboarding.texi
manual_TEXINFOS = version.texi