2018-05-30 19:11:33 +02:00
|
|
|
def can_build(env, platform):
|
2017-02-15 12:29:46 +01:00
|
|
|
return True
|
2016-04-02 20:26:12 +02:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2014-02-10 02:10:30 +01:00
|
|
|
def configure(env):
|
2016-10-30 18:44:57 +01:00
|
|
|
pass
|
2017-09-12 22:42:36 +02:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2017-09-12 22:42:36 +02:00
|
|
|
def get_doc_classes():
|
2017-11-15 19:23:20 +01:00
|
|
|
return [
|
|
|
|
"GridMap",
|
|
|
|
]
|
2017-09-12 22:42:36 +02:00
|
|
|
|
2020-03-30 08:28:32 +02:00
|
|
|
|
2017-09-12 22:42:36 +02:00
|
|
|
def get_doc_path():
|
2017-11-15 19:23:20 +01:00
|
|
|
return "doc_classes"
|