From 9e7f302becb08f5c5b16c73907ac9d9b30fc82cc Mon Sep 17 00:00:00 2001 From: jfa Date: Thu, 22 Jun 2006 05:50:16 +0000 Subject: [PATCH] PAL12557: Replace usr_docs tag by dev_docs in tui/Makefile.in. --- doc/salome/tui/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/salome/tui/Makefile.in b/doc/salome/tui/Makefile.in index 286f83a6..712af448 100644 --- a/doc/salome/tui/Makefile.in +++ b/doc/salome/tui/Makefile.in @@ -31,7 +31,7 @@ doxygen=@DOXYGEN@ @COMMENCE@ -usr_docs: +dev_docs: cp -fr $(srcdir)/VISU ./INPUT; \ cp -fr ./VISU/doxyfile ./INPUT; \ cp -fr ./VISU/sources/static/tree.js ./INPUT/sources/static; \ -- 2.39.2