diff options
| author | Nikhita Raghunath <nikitaraghunath@gmail.com> | 2019-03-15 16:33:11 +0530 |
|---|---|---|
| committer | Nikhita Raghunath <nikitaraghunath@gmail.com> | 2019-03-15 18:13:12 +0530 |
| commit | 347f7d07d35979b952d52b1c4b234f3761dab2eb (patch) | |
| tree | 163664b42440a5bfe0ee77386f933fc5fde84ca2 /hack | |
| parent | 010ab0ff52c5e4e33bde1a5a458d674f7840e9e2 (diff) | |
generator: add support for committees
Since committees can have private mailing lists, this commit
also adds a new field for specifying private mailing lists
in the "Contacts" section.
Diffstat (limited to 'hack')
| -rwxr-xr-x | hack/verify-generated-docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hack/verify-generated-docs.sh b/hack/verify-generated-docs.sh index fab0cae7..73302358 100755 --- a/hack/verify-generated-docs.sh +++ b/hack/verify-generated-docs.sh @@ -37,7 +37,7 @@ make 1>/dev/null mismatches=0 break=$(printf "=%.0s" $(seq 1 68)) -for file in $(ls ${CRT_DIR}/sig-*/README.md ${CRT_DIR}/wg-*/README.md ${CRT_DIR}/ug-*/README.md ${CRT_DIR}/sig-list.md ${CRT_DIR}/OWNERS_ALIASES); do +for file in $(ls ${CRT_DIR}/sig-*/README.md ${CRT_DIR}/wg-*/README.md ${CRT_DIR}/ug-*/README.md ${CRT_DIR}/committee-*/README.md ${CRT_DIR}/sig-list.md ${CRT_DIR}/OWNERS_ALIASES); do real=${file#$CRT_DIR/} if ! diff -q ${file} ${WORKING_DIR}/${real} &>/dev/null; then echo "${file} does not match ${WORKING_DIR}/${real}"; |