Thank you very much.
I think that is the same for "Make" documentation.

I have bought a esp32 devkitc and I have download the toolchain for writing some software for the board but I have not found the C Reference Guide or something like this with the compiler option and the libraries documentation; I have not found either the Linker (or builder) Reference and the Assemb...