NRI : Remove "make doc". It's not necessary to build doc for each compilation.

To generate documentation, go into doc directory and type make;make install.

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