@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'
@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'
bin/nitdoc: bin/nitc
@echo '***************************************************************'
@echo '* Compile nitdoc from NIT source files *'
@echo '***************************************************************'
bin/nitdoc: bin/nitc
@echo '***************************************************************'
@echo '* Compile nitdoc from NIT source files *'
@echo '***************************************************************'
doc/stdlib/index.html: bin/nitdoc
@echo '***************************************************************'
doc/stdlib/index.html: bin/nitdoc
@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 '***************************************************************'