Fix a bug of ´make install´ step: missing ´make docs´

diff --git a/doc/salome/Makefile.in b/doc/salome/Makefile.in
index 4fd4bf2010fd3c27dd4567ae982d3b1f33e10886..231be4de7cb813069f39c5f1bc01945df9e58a2c 100644 (file)
--- a/doc/salome/Makefile.in
+++ b/doc/salome/Makefile.in
@@ -25,9 +25,9 @@ distclean: clean
        rm -fr GEOM
 
 install:
+       $(MAKE) docs
        mkdir -p $(docdir)
        cp -rf GEOM $(docdir)
-       -find $(PWD) -name CVS -exec rm -rf {} \;
 
 uninstall:
        rm -rf $(docdir)/GEOM