RM=/bin/rm -f all out opt: LICENSE.htm clean: $(RM) -f LICENSE.htm LICENSE.htm: ../LICENSE (echo ""; \ echo "License
"; \
	 cat ../LICENSE; echo "
") > LICENSE.htm