all:
	javadoc -sourcepath ../../ -d ./ -private mrg.javaagent mrg.proofchecker mrg.utils mrg.security

clean:
	rm -rf mrg/ resources/ *.html *.css package-list
