PAL12557: Replace usr_docs tag by dev_docs in tui/Makefile.in.

diff --git a/doc/salome/tui/Makefile.in b/doc/salome/tui/Makefile.in
index 286f83a6e0d96fc355f337a675ae424ce2223d0a..712af448879bf43c549b5a560775ffa7d4f51487 100644 (file)
--- 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; \