doc: do not make the stdlib doc by default

diff --git a/Makefile b/Makefile
index d51f431..ef24ecb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,10 +16,9 @@
 
 NITCOPT=
 
-all: tools doc/stdlib/index.html
+all: tools
 
 docs: doc/stdlib/index.html doc/nitc/index.html
-       #cd doc; make
 
 tools:
        cd src; make