mirror of
https://git.salome-platform.org/gitpub/modules/geom.git
synced 2024-11-15 01:58:36 +05:00
Fix problem with devdocs generation
This commit is contained in:
parent
b7d82b4f7b
commit
00790e2b7c
@ -27,3 +27,11 @@
|
|||||||
# source path
|
# source path
|
||||||
#
|
#
|
||||||
SUBDIRS= salome
|
SUBDIRS= salome
|
||||||
|
|
||||||
|
usr_docs:
|
||||||
|
(cd salome && $(MAKE) $(AM_MAKEFLAGS) usr_docs)
|
||||||
|
|
||||||
|
docs: usr_docs
|
||||||
|
|
||||||
|
dev_docs:
|
||||||
|
(cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
|
||||||
|
Loading…
Reference in New Issue
Block a user