diff --git a/doc/Makefile.am b/doc/Makefile.am index fd88e1ee3..8af3bc4f7 100644 --- 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)