diff --git a/Documentation/sphinx/parse-headers.pl b/Documentation/sphinx/parse-headers.pl
index fc18eac1552cde9283eb7ad5a6de53e237f3d06f..16ea28b0d2e19978f9c0f5a5d6ecea9faa429829 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