diff options
Diffstat (limited to 'src/script/api/doxygen_filter.awk')
-rw-r--r-- | src/script/api/doxygen_filter.awk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/script/api/doxygen_filter.awk b/src/script/api/doxygen_filter.awk index 442ae7dab..f699756da 100644 --- a/src/script/api/doxygen_filter.awk +++ b/src/script/api/doxygen_filter.awk @@ -21,6 +21,8 @@ BEGIN { skip_function_body = "false" skip_function_par = 0 RS = "\r|\n" + apis = tolower(api) + if (apis == "gs") apis = "game" } { @@ -43,7 +45,7 @@ BEGIN { } /@file/ { - gsub(/script/, tolower(api)) + gsub(/script/, apis) } /^([ ]*)\* @api/ { @@ -62,9 +64,9 @@ BEGIN { api_selected = "false" } else if ($0 == "-all") { api_selected = "false" - } else if (match($0, "-" tolower(api))) { + } else if (match($0, "-" apis)) { api_selected = "false" - } else if (match($0, tolower(api))) { + } else if (match($0, apis)) { api_selected = "true" } |