+all: tools man
+ @echo ""
+ @echo "Congratulations! Nit was succesfully compiled."
+ @echo "To configure your shell environment, execute the following command:"
+ @echo " source misc/nit_env.sh install"
+
+# Compile all programs in $PROGS
+full: all
+ for m in $(PROGS); do $(MAKE) -C "$$m" || exit 1; done
+
+docs: doc/stdlib/index.html doc/nitc/index.html