NRI : remove "make doc".

diff --git a/adm_local/unix/make_commence.in b/adm_local/unix/make_commence.in
index 9043c46a7bd1225d7227d197069fd2982e38fe0a..370582e407e2f509e6dbeab88675db7bfbc58685 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