all: manual.pdf manual.html

manual.pdf: arch.pdf manual.texi
	texi2pdf manual.texi
manual.html: arch.jpg manual.texi
	makeinfo --html --no-split manual.texi
arch.pdf: arch.dot
	dot -Tpdf arch.dot > arch.pdf
arch.jpg: arch.dot
	dot -Tjpg arch.dot > arch.jpg

info_TEXINFOS = manual.texi
manual_TEXINFOS = version.texi

EXTRA_DIST = \
  arch.dot \
  lgpl.texi \
  agpl.texi \
  fdl-1.3.texi