all: texinfo

texinfo:
	makeinfo --html -o build texinfo/index.texi