mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
[tools] fix gen_modules_doc.py
properly check if module xml could be parsed
This commit is contained in:
@@ -308,7 +308,7 @@ if __name__ == '__main__':
|
|||||||
os.chdir(modules_dir)
|
os.chdir(modules_dir)
|
||||||
for file in glob.glob("*.xml"):
|
for file in glob.glob("*.xml"):
|
||||||
module = read_module_file(file)
|
module = read_module_file(file)
|
||||||
if len(module):
|
if module is not None:
|
||||||
modules[file] = module
|
modules[file] = module
|
||||||
|
|
||||||
# generate overview
|
# generate overview
|
||||||
|
|||||||
Reference in New Issue
Block a user