Doc. system: stop pointer marks from boldifying

Sometimes two pointer asterisks in the definition made some part of it
bold, removing the asterisks. Escape them all.

diff --git a/build/doc-defs b/build/doc-defs
index c3b683aeea9adcb1e4722efaee54d56bf4d1b451..b18a8b3d4a687c1ab68bec6bdce17c2a58e2fa26 100755 (executable)
--- a/build/doc-defs
+++ b/build/doc-defs
@@ -57,7 +57,7 @@ foreach( sort { ( $groups{$a->[2]} <=> $groups{$b->[2]} ) or ( $a->[3] cmp $b->[
        $file = $dircp."/".$file;
        $file =~ s/^\///;
        $file =~ s/\.[^.]+$//;
-       $text =~ s/(\.\.\.)/\\$1/g;
+       $text =~ s/(\.\.\.|\*)/\\$1/g;
        print OUT "<<$file:$anchor,`$name`>>:: `$text`\n";
 }