mirror of
https://git.salome-platform.org/gitpub/modules/geom.git
synced 2024-11-11 16:19:17 +05:00
Documentation is optional
This commit is contained in:
parent
382348e73a
commit
155d209381
@ -211,7 +211,9 @@ ADD_SUBDIRECTORY(adm_local)
|
||||
ADD_SUBDIRECTORY(resources)
|
||||
ADD_SUBDIRECTORY(bin)
|
||||
ADD_SUBDIRECTORY(src)
|
||||
ADD_SUBDIRECTORY(doc)
|
||||
IF(SALOME_BUILD_DOC)
|
||||
ADD_SUBDIRECTORY(doc)
|
||||
ENDIF()
|
||||
|
||||
# Header configuration
|
||||
# ====================
|
||||
|
Loading…
Reference in New Issue
Block a user