diff --git a/Documentation/sphinx/parse-headers.pl b/Documentation/sphinx/parse-headers.pl index ec9537ef586fc5c3a844beb4ab34e467738e9cd5..59f2c90f69422df622e36370a0506c2d3b9612dc 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 #