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
path: root/docs
diff options
context:
space:
mode:
authorJon Purdy <evincarofautumn@gmail.com>2017-03-09 02:44:13 +0300
committerJon Purdy <evincarofautumn@gmail.com>2017-03-24 23:43:07 +0300
commitfc5ed9af92cd2193766f4c7ae7d6a67b8578dae8 (patch)
tree1bd2cc5b190fac42d46a3f99dd8af52aebd14a21 /docs
parent3478b0aa86b50db14d8cd90bf19dae27f5df100b (diff)
[exdoc] Enable formatting in deprecated annotations.
Diffstat (limited to 'docs')
-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})) {