2018-05-30 19:11:33 +02:00
|
|
|
def can_build(env, platform):
|
2022-08-04 19:11:01 +02:00
|
|
|
env.module_add_dependencies("gdscript", ["jsonrpc", "websocket"], True)
|
2016-10-30 18:44:57 +01:00
|
|
|
return True
|
2016-04-02 20:26:12 +02:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2014-02-24 13:53:33 +01:00
|
|
|
def configure(env):
|
2016-10-30 18:44:57 +01:00
|
|
|
pass
|
2017-11-15 19:23:20 +01:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2017-11-15 19:23:20 +01:00
|
|
|
def get_doc_classes():
|
|
|
|
return [
|
2019-06-18 18:04:29 +02:00
|
|
|
"@GDScript",
|
2017-11-15 19:23:20 +01:00
|
|
|
"GDScript",
|
2024-08-18 20:40:24 +02:00
|
|
|
"GDScriptSyntaxHighlighter",
|
2017-11-15 19:23:20 +01:00
|
|
|
]
|
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2017-11-15 19:23:20 +01:00
|
|
|
def get_doc_path():
|
|
|
|
return "doc_classes"
|