Lines Matching refs:DOC
19 DOC=`git log ${ARG_COMMIT} -1 --name-only | sed -n "/_EN\.md/p"`
24 DOC=`git log ${ARG_COMMIT} -1 --name-only | sed -n "/_CN\.md/p"`
27 echo "Checking doc: ${DOC}"
30 git show ${ARG_COMMIT} -1 ${DOC} | sed -n "/^+/p" > ${DIFF_DOC_ALL}
31 git show ${ARG_COMMIT} -1 ${DOC} | sed -n "/^+/p" > ${DIFF_DOC_ALL}.dos
36 echo "ERROR: ${DOC} is DOS encoding. Fix it by: 'dos2unix ${DOC}'"
55 HEADING_1=`sed -n '1p' ${DOC}`
56 if sed -n '2p' ${DOC} | grep -q [a-z,A-Z] ; then
57 echo "ERROR: ${DOC}: Please add blank line after '${HEADING_1}'"
62 if sed -n "/##/p" ${DOC} | grep -v '## [a-z,A-Z]' ; then
63 echo "ERROR: ${DOC}: Please only 1 space between '#' and word"
68 if ! git show ${ARG_COMMIT} -1 ${DOC} | grep -q 'Release Note' ; then
69 echo "ERROR: ${DOC}: Please add new content at the top but not bottom"
75 echo "ERROR: ${DOC}: Please use '### Warn'"
80 echo "ERROR: ${DOC}: Please use '### New'"
85 echo "ERROR: ${DOC}: Please use '### Fixed'"
91 echo "ERROR: ${DOC}: '${DATE}' is wrong, the year should be ${HOST_YEAR}"
96 echo "ERROR: ${DOC}: '${DATE}' is wrong, the month should be ${HOST_MON}"
101 if grep -q $'\t[0-9]' ${DOC} ; then
102 echo "ERROR: ${DOC}: Don't add TAB before index:"
103 grep $'\t[0-9]' ${DOC}
109 if grep -q '^[0-9]\. [a-z]' ${DOC} ; then
110 echo "ERROR: ${DOC}: Please use upper case of first word(i.e. \"1. add ..\" => \"1. Add ...\"):"
111 grep '^[0-9]\. [a-z]' ${DOC}
116 if sed -n '/^[0-9]\. [A-Z]/p' ${DOC} | grep -q '[^.]$' ; then
117 echo "ERROR: ${DOC}: Please end line with '.'"
118 grep '^[0-9]\. [A-Z]' ${DOC} | grep '[^.]$'
123 if grep -P '[\x{4e00}-\x{9fa5}]' ${DOC} ; then
124 echo "ERROR: ${DOC}: The Chinese language was found"
129 if sed -n '/^[0-9]\. /p' ${DOC} | grep -q '[^。]$' ; then
130 echo "ERROR: ${DOC}: Please end line with '。'"
131 grep '^[0-9]\. ' ${DOC} | grep '[^。]$'
137 SUM1=`grep '^[0-9]\.' ${DOC} | wc -l`
138 SUM2=`grep '^[0-9]\.[[:blank:]]' ${DOC} | wc -l`
140 echo "ERROR: ${DOC}: Please add space after index (e.g: '1. ' but not '1.'):"
147 echo "ERROR: ${DOC}: '${FILE}' missing the file format suffix"
152 echo "ERROR: ${DOC}: '${FILE}' is not updated in this patch"
159 echo "ERROR: ${DOC}: Title '${TITLE}' is not match with '${FILE}'"
168 echo "ERROR: ${DOC}: '${CMT}' is not match in commit message"
176 echo "ERROR: ${DOC}: No ${FILE}"
180 echo "ERROR: ${DOC}: ${FILE} is not build from '${CMT}'"
189 echo "ERROR: ${DOC}: Unknown main severity: ${SEVERITY}"
195 echo "ERROR: ${DOC}: Please add horizontal line '------' at the last of new content"
199 echo "ERROR: ${DOC}: Please add blank line before horizontal line '------'"
203 echo "ERROR: ${DOC}: Please add blank line after horizontal line '------'"
220 echo "ERROR: ${DOC}: No severity found, please use Table to list what you '### Fixed'"
222 echo "ERROR: ${DOC}: Unknown severity: ${EACH_SEVERITY}"
242 …echo "ERROR: ${DOC}: Top severity should be '${TOP_SEVERITY}' as it's the highest level of all sub…
263 …echo "ERROR: ${DOC}: top Severity is '${SEVERITY}', while ${LAST_DOC}: top Severity is '${LAST_SEV…
270 LAST_DOC="${DOC}"