[SOLVED] Custom hardware - pins_arduino.h: No such file or directory

"Documentation hints about the .build.core=: format, but ... "

What documentation? Can you give me a pointer to what you read? I still don't understand the structure.