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