
webbased:
	ciaoc -a actmods/webserver_publish webbased_server
	webbased_server &

distclean:
	/bin/rm -f *.po *.itf *.dep *~ *.addr \
	tmpciao* webbased_server
