From: vsr Date: Thu, 27 Nov 2008 12:09:28 +0000 (+0000) Subject: Fix problem with devdocs generation X-Git-Tag: V4_1_4~1 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=88194c17f6ab493be1b3282e78b405c6a99c59b5;p=modules%2Fgui.git Fix problem with devdocs generation --- 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