summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xDocumentation/sphinx/parse-headers.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/sphinx/parse-headers.pl b/Documentation/sphinx/parse-headers.pl
index ec9537ef586f..59f2c90f6942 100755
--- a/Documentation/sphinx/parse-headers.pl
+++ b/Documentation/sphinx/parse-headers.pl
@@ -196,6 +196,8 @@ $data =~ s/\n\s+\n/\n\n/g;
#
$data =~ s,([\_\`\*\<\>\&\\\\:\/]),\\$1,g;
+$data =~ s,DEPRECATED,**DEPRECATED**,g;
+
#
# Add references
#