compile:
	ciaoc html_manager

clean:
	rm -f *.itf *.po html_manager *.cpx

distclean realclean: clean
	rm *~ 
