diff options
author | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2019-05-23 13:14:00 +0000 |
---|---|---|
committer | TrustedFirmware Code Review <review@review.trustedfirmware.org> | 2019-05-23 13:14:00 +0000 |
commit | ced1711297347f24fee45e75e73c7767507a0982 (patch) | |
tree | 56fa3ad15c1f5b8a6d2b2953cb7c0c2a4eb4ba1e /Makefile | |
parent | 1665bcd0cf75efc862684418480be0076eb8c920 (diff) | |
parent | e1c5026ac7e9da1b74047bf8cb9be2a5c9564532 (diff) |
Merge changes from topic "pb/sphinx-doc" into integration
* changes:
doc: Use proper note and warning annotations
doc: Refactor contributor acknowledgements
doc: Reorganise images and update links
doc: Set correct syntax highlighting style
doc: Add minimal glossary
doc: Remove per-page contents lists
doc: Make checkpatch ignore rst files
doc: Format security advisory titles and headings
doc: Reformat platform port documents
doc: Normalise section numbering and headings
doc: Reword document titles
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -55,7 +55,7 @@ ROOT_DIRS_TO_CHECK := $(sort $(filter-out \ lib \ include \ docs \ - %.md, \ + %.rst, \ $(wildcard *))) CHECK_PATHS := ${ROOT_DIRS_TO_CHECK} \ ${INC_DIRS_TO_CHECK} \ @@ -815,7 +815,7 @@ realclean distclean: checkcodebase: locate-checkpatch @echo " CHECKING STYLE" @if test -d .git ; then \ - git ls-files | grep -E -v 'libfdt|libc|docs|\.md' | \ + git ls-files | grep -E -v 'libfdt|libc|docs|\.rst' | \ while read GIT_FILE ; \ do ${CHECKPATCH} ${CHECKCODE_ARGS} -f $$GIT_FILE ; \ done ; \ @@ -825,7 +825,7 @@ checkcodebase: locate-checkpatch -not -iwholename "*libfdt*" \ -not -iwholename "*libc*" \ -not -iwholename "*docs*" \ - -not -iwholename "*.md" \ + -not -iwholename "*.rst" \ -exec ${CHECKPATCH} ${CHECKCODE_ARGS} -f {} \; ; \ fi |