From 88194c17f6ab493be1b3282e78b405c6a99c59b5 Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Thu, 27 Nov 2008 12:09:28 +0000
Subject: [PATCH] Fix problem with devdocs generation

---
 doc/salome/tui/Makefile.am | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/salome/tui/Makefile.am b/doc/salome/tui/Makefile.am
index 6a74285c8..05fffafef 100644
--- 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
-- 
2.39.2