mirror of
https://git.salome-platform.org/gitpub/modules/geom.git
synced 2025-01-13 10:10:34 +05:00
Fix pb of dev_docs
This commit is contained in:
parent
fdb12e48b8
commit
39300a0342
@ -30,4 +30,4 @@ usr_docs:
|
||||
docs: usr_docs
|
||||
|
||||
dev_docs:
|
||||
(cd docutils && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
|
||||
(cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
|
||||
|
Loading…
Reference in New Issue
Block a user