Fix problem with devdocs generation

diff --git a/doc/Makefile.am b/doc/Makefile.am
index fd88e1ee3c6e30b7a19833f55a8a9526a43a1f12..8af3bc4f72229929c9ae900f520f6f6f77e6b2d0 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -27,3 +27,11 @@
 # source path
 #
 SUBDIRS= salome
+
+usr_docs:
+       (cd salome && $(MAKE) $(AM_MAKEFLAGS) usr_docs)
+
+docs: usr_docs
+
+dev_docs:
+       (cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)