diff options
| -rw-r--r-- | src/ai/api/squirrel_export.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ai/api/squirrel_export.awk b/src/ai/api/squirrel_export.awk index dcd39547e..5a817f94d 100644 --- a/src/ai/api/squirrel_export.awk +++ b/src/ai/api/squirrel_export.awk @@ -102,9 +102,9 @@ BEGIN { /^( *)private/ { if (cls_level == 1) public = "false"; next; } # Ignore special doxygen blocks -/^#ifndef DOXYGEN_SKIP/ { doxygen_skip = "next"; next; } -/^#ifdef DOXYGEN_SKIP/ { doxygen_skip = "true"; next; } -/^#endif \/\* DOXYGEN_SKIP \*\// { doxygen_skip = "false"; next; } +/^#ifndef DOXYGEN_AI_DOCS/ { doxygen_skip = "next"; next; } +/^#ifdef DOXYGEN_AI_DOCS/ { doxygen_skip = "true"; next; } +/^#endif \/\* DOXYGEN_AI_DOCS \*\// { doxygen_skip = "false"; next; } /^#else/ { if (doxygen_skip == "next") { doxygen_skip = "true"; |