diff --git a/sw/tools/doxygen_gen/gen_modules_doc.py b/sw/tools/doxygen_gen/gen_modules_doc.py index ef0cef155b5..c57f7dc6377 100755 --- a/sw/tools/doxygen_gen/gen_modules_doc.py +++ b/sw/tools/doxygen_gen/gen_modules_doc.py @@ -289,13 +289,14 @@ def read_module_file(file): output_dir = options.output_dir else: output_dir = os.path.join(paparazzi_home, "doc/manual/generated") - if not os.path.isdir(output_dir): - if options.create_parent_dirs: - print("Output directory " + output_dir + " doesn't exit yet. Creating it.") - os.makedirs(output_dir) - else: - print("Output directory " + output_dir + " not valid.") - sys.exit(1) + + if not os.path.isdir(output_dir): + if options.create_parent_dirs: + print("Output directory " + output_dir + " doesn't exit yet. Creating it.") + os.makedirs(output_dir) + else: + print("Output directory " + output_dir + " not valid.") + sys.exit(1) if options.verbose: print("Generating module documentation in " + output_dir)