Doc. system: Definition list has visible name

The link is just the symbol name, the one-line header is bellow it now.

diff --git a/build/doc-defs b/build/doc-defs
index 140cb2ed39c46e3d94cda9bfed8fdadea27ffe83..8feb15fbba9a63327b7b21ea364d0177c004cbc5 100755 (executable)
--- a/build/doc-defs
+++ b/build/doc-defs
@@ -44,7 +44,7 @@ foreach( sort { ( $groups{$a->[2]} <=> $groups{$b->[2]} ) or ( $a->[3] cmp $b->[
        $file =~ s/\.[^.]+$//;
        $text =~ s/\(/!!PARENT_OPEN!!/g;
        $text =~ s/(\.\.\.)/\\$1/g;
-       print OUT "- <<$file:$anchor,`$text`>>\n";
+       print OUT "- <<$file:$anchor,`$name`>> +\n`$text`\n";
 }
 
 close OUT;