update docs tool

2023-10-22 00:02:41 +02:00 · 2023-10-22 00:02:41 +02:00 · 011fb89b4b
parent 2c88826515
commit 011fb89b4b
1 changed files with 2 additions and 0 deletions
--- a/tools/docs/docs.c
+++ b/tools/docs/docs.c
@ -900,6 +900,8 @@ int main(int argc, char **argv) {
        strrepl(&chg, "\r\n", "\n");
        for each_substring(chg, "\n", it) {
            if (strstr(it, "sync depot")) continue;
+            if (strstr(it, "sync fwk")) continue;
+            if (strstr(it, "sync FWK")) continue;
            // printf("<details><summary>%s</summary></details>\n", it);
            printf("* %s\n", it);
        }