Re: [PATCH] doc: build: fix gen_compile_commands section level