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