Fix problem with devdocs generation

diff --git a/doc/salome/tui/Makefile.am b/doc/salome/tui/Makefile.am
index 6a74285c8de871ab63a6aafc2ac76723584d188b..05fffafeffbf23de3a238afea2f60853bde2ccf8 100644 (file)
--- a/doc/salome/tui/Makefile.am
+++ b/doc/salome/tui/Makefile.am
@@ -51,5 +51,15 @@ dev_docs:
 
 doctuidir=$(docdir)/tui/GUI
 
+install-data-local:
+       if test -d GUI; then \
+         $(INSTALL) -d $(docdir)/tui ; \
+         cp -rp GUI $(docdir)/tui ; \
+         find $(docdir)/tui -name CVS -prune -exec rm -rf {} ";" ; \
+       fi;
+
+uninstall-local:
+       rm -rf $(docdir)/tui/GUI
+
 nodist_doctui_DATA= GUI/doxyfile
 EXTRA_DIST+= GUI/doxyfile.in