diff options
| -rwxr-xr-x | Documentation/sphinx/parse-headers.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/sphinx/parse-headers.pl b/Documentation/sphinx/parse-headers.pl index fc18eac1552c..16ea28b0d2e1 100755 --- a/Documentation/sphinx/parse-headers.pl +++ b/Documentation/sphinx/parse-headers.pl @@ -163,6 +163,10 @@ if ($file_exceptions) { delete $structs{$1} if (exists($structs{$1})); next; } + if (m/^ignore\s+symbol\s+(\S+)/) { + delete $enum_symbols{$1} if (exists($enum_symbols{$1})); + next; + } # Parsers to replace a symbol |