all: manual.pdf manual.html

manual.pdf:
	texi2pdf manual.texi

manual.html:
	texi2html manual.texi

info_TEXINFOS = manual.texi
manual_TEXINFOS = version.texi