diff options
Diffstat (limited to 'BuildParams')
-rw-r--r-- | BuildParams | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/BuildParams b/BuildParams index e00fc384d4..090fdbb283 100644 --- a/BuildParams +++ b/BuildParams @@ -127,6 +127,8 @@ viewer-pathfinding.build_debug_release_separately = true viewer-pathfinding.build_CYGWIN_Debug = false viewer-pathfinding.build_viewer_update_version_manager = false +oz_project-1_Linux.build_docs = true + # ======================================== # viewer-chui # |