From db2220d6ec510f2d9bff33ecd28119371f839b51 Mon Sep 17 00:00:00 2001
From: nge <nge>
Date: Thu, 24 Jul 2008 15:32:26 +0000
Subject: [PATCH] Correction of Makefile.am for the developper doc generation.

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

diff --git a/doc/salome/tui/Makefile.am b/doc/salome/tui/Makefile.am
index b401ba210..d3bb0ca7c 100644
--- a/doc/salome/tui/Makefile.am
+++ b/doc/salome/tui/Makefile.am
@@ -51,6 +51,20 @@ dev_docs:
 	cp -fr $(srcdir)/GEOM/sources/ GEOM/ ; \
 	rm -fr INPUT
 
+docs: dev_docs
+
+clean-local:
+	rm -fr `ls | grep -v "Makefile"`
+	rm -fr GEOM
+
+install-data-local: dev_docs
+	mkdir -p $(docdir)/tui
+	cp -rf GEOM $(docdir)/tui
+	-find $(PWD) -name CVS -prune -exec rm -rf {} \;
+
+uninstall-local:
+	rm -rf $(docdir)/tui/GEOM
+
 doctuidir=$(docdir)/tui/GEOM
 
 nodist_doctui_DATA= GEOM/doxyfile
-- 
2.39.2