Re: [PATCH v2 6/6] doc: add documentation for gen_compile_commands.py