From 2b6bbf8dceb7e31039d23aab05cde447225e1f7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Thu, 18 Jun 2020 12:05:44 +0200
Subject: 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.
---
 doc/classes/ProjectSettings.xml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/classes/ProjectSettings.xml b/doc/classes/ProjectSettings.xml
index 92e5b4a84f..7191492098 100644
--- a/doc/classes/ProjectSettings.xml
+++ b/doc/classes/ProjectSettings.xml
@@ -821,6 +821,8 @@
 		</member>
 		<member name="mono/profiler/enabled" type="bool" setter="" getter="" default="false">
 		</member>
+		<member name="mono/project/auto_update_project" type="bool" setter="" getter="" default="true">
+		</member>
 		<member name="mono/unhandled_exception_policy" type="int" setter="" getter="" default="0">
 		</member>
 		<member name="network/limits/debugger/max_chars_per_second" type="int" setter="" getter="" default="32768">
-- 
cgit v1.2.3