Hi, I'm learning how to hacking the Linux kernel follow a tutorial from web, when I download the Linux kernel 5.4.8 source code and extract it to run make mrproper, the make report: Documentation/Kbuild: Is a directory. Stop. I checked Documentation directory, only have a directory name kbuild, not directory name Kbuild. How can I clean this error.