diff options
| -rwxr-xr-x | Documentation/sphinx/parse-headers.pl | 2 |
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 # |