diff --git a/Makefile b/Makefile index ed51517f773e5813717667049e12ad5a0f7ee771..c5ec6d1c655335e43b3c8aef10058faee7cf9b1a 100644 --- a/Makefile +++ b/Makefile @@ -112,10 +112,10 @@ CHECK_IGNORE := --ignore COMPLEX_MACRO \ --ignore GIT_COMMIT_ID CHECKPATCH_ARGS := --no-tree --no-signoff ${CHECK_IGNORE} CHECKCODE_ARGS := --no-patch --no-tree --no-signoff ${CHECK_IGNORE} -# Do not check the coding style on C library files +# Do not check the coding style on C library files or documentation files INCLUDE_DIRS_TO_CHECK := $(sort $(filter-out include/stdlib, $(wildcard include/*))) LIB_DIRS_TO_CHECK := $(sort $(filter-out lib/stdlib, $(wildcard lib/*))) -ROOT_DIRS_TO_CHECK := $(sort $(filter-out lib include, $(wildcard *)))) +ROOT_DIRS_TO_CHECK := $(sort $(filter-out lib include docs %.md, $(wildcard *))) CHECK_PATHS := ${ROOT_DIRS_TO_CHECK} ${INCLUDE_DIRS_TO_CHECK} ${LIB_DIRS_TO_CHECK}