Mono: Always define options in main.cpp to keep them in docs

Otherwise generating docs with non-Mono builds removes them,
which is not so convenient for the documentation work.

1 files changed, 2 insertions, 0 deletions

diff --git a/main/main.cpp b/main/main.cpp
index 92b07dc83b..747b12677d 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -1633,6 +1633,8 @@ bool Main::start() {
 		GLOBAL_DEF("mono/profiler/args", "log:calls,alloc,sample,output=output.mlpd");
 		GLOBAL_DEF("mono/profiler/enabled", false);
 		GLOBAL_DEF("mono/unhandled_exception_policy", 0);
+		// From editor/csharp_project.cpp.
+		GLOBAL_DEF("mono/project/auto_update_project", true);
 #endif
 
 		DocData doc;