Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/exdoc3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/exdoc b/docs/exdoc
index 44db88382bc..92027663e6d 100644
--- a/docs/exdoc
+++ b/docs/exdoc
@@ -153,6 +153,9 @@ sub process_function {
}
process_formatting(\$returns, $file_path, $.);
process_formatting(\$body, $file_path, $.);
+ if (defined($deprecated)) {
+ process_formatting(\$deprecated, $file_path, $.);
+ }
$body =~ s/\n/ /g;
if (exists($docs->{body}->{$name})) {