@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'
@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'
@echo '***************************************************************'
bin/nitdoc lib/*.nit -d doc/stdlib
@echo '***************************************************************'
bin/nitdoc lib/*.nit -d doc/stdlib
@echo '***************************************************************'
@echo '* Compile nitc from C source files *'
@echo '***************************************************************'
@echo '***************************************************************'
@echo '* Compile nitc from C source files *'
@echo '***************************************************************'