NRI : remove "make doc"

diff --git a/adm_local/unix/make_commence.in b/adm_local/unix/make_commence.in
index a9b14ff0bf023af6b3b49c442c48a861f5e4b7cf..e106eb052d5dac81a5fc060fa2b95544180ce2ef 100644 (file)
--- a/adm_local/unix/make_commence.in
+++ b/adm_local/unix/make_commence.in
@@ -220,7 +220,6 @@ all:
        $(MAKE) bin
        $(MAKE) resources
        $(MAKE) data
-       $(MAKE) doc
 
 #
 # add target to build administrative files