nitdoc: Replace old nitdoc by nitdoc_ni

[nit.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 5f151ab..70b0911 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -16,7 +16,7 @@
 
 NITCOPT=
 
-all: ../bin/nitc ../bin/nitdoc ../bin/nits ../bin/nitmetrics ../bin/nitg ../bin/nit ../bin/nitx ../bin/netdbg ../bin/dbgcli ../bin/nitdox ../bin/nitunit ../bin/nitlight
+all: ../bin/nitc ../bin/nitdoc ../bin/nits ../bin/nitmetrics ../bin/nitg ../bin/nit ../bin/nitx ../bin/netdbg ../bin/dbgcli ../bin/nitunit ../bin/nitlight
 
 ../bin/nitc: ../c_src/nitc parser/parser.nit
        @echo '***************************************************************'
@@ -67,13 +67,6 @@ all: ../bin/nitc ../bin/nitdoc ../bin/nits ../bin/nitmetrics ../bin/nitg ../bin/
        ./git-gen-version.sh
        ../bin/nitg ${NITCOPT} -o ../bin/nitx -v nitx.nit
 
-../bin/nitdox: ../bin/nitg
-       @echo '***************************************************************'
-       @echo '* Compile nitdcx from NIT source files                        *'
-       @echo '***************************************************************'
-       ./git-gen-version.sh
-       ../bin/nitg ${NITCOPT} -o ../bin/nitdox -v ni_nitdoc.nit
-
 ../bin/netdbg : ../bin/nitc
        @echo '***************************************************************'
        @echo '* Compile netdbg from NIT source files                          *'