implementation_doc: implementation/implementation.html

implementation/implementation.html: implementation.tex
	latex2html -split 2 implementation.tex

clean:
	rm -fr implementation *.bak *~
