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/exdoc6
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/exdoc b/docs/exdoc
index 0926047a0fe..38321c19c8b 100644
--- a/docs/exdoc
+++ b/docs/exdoc
@@ -227,6 +227,12 @@ sub process_formatting {
my ($content, $file_path, $current_line) = @_;
$_ = $$content;
+ # General formatting
+ s{\\b +(\w+)}{<strong>$1</strong>}g;
+ s{\\a +(\w+)}{<i>$1</i>}g;
+ s{\\e +(\w+)}{<i>$1</i>}g;
+ s{\\em +(\w+)}{<i>$1</i>}g;
+
# Constants
s{NULL}{<code>NULL</code>}g;
s{TRUE}{<code>TRUE</code>}g;