2018-05-30 19:11:33 +02:00
|
|
|
def can_build(env, platform):
|
2017-12-21 03:13:23 +01:00
|
|
|
return True
|
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2017-12-21 03:13:23 +01:00
|
|
|
def configure(env):
|
|
|
|
pass
|
2018-05-08 14:40:08 +02:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2018-05-08 14:40:08 +02:00
|
|
|
def get_doc_classes():
|
|
|
|
return [
|
|
|
|
"WebSocketClient",
|
|
|
|
"WebSocketMultiplayerPeer",
|
|
|
|
"WebSocketPeer",
|
2020-03-30 08:28:32 +02:00
|
|
|
"WebSocketServer",
|
2018-05-08 14:40:08 +02:00
|
|
|
]
|
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2018-05-08 14:40:08 +02:00
|
|
|
def get_doc_path():
|
|
|
|
return "doc_classes"
|