Doc. system: export type and name do deflists

diff --git a/build/doc-defs b/build/doc-defs
index a39cda40f626983c2150e26e5fc61bdb871d9791..01cdb8d983065e720ab8339b894e7b92221271cd 100755 (executable)
--- a/build/doc-defs
+++ b/build/doc-defs
@@ -18,7 +18,7 @@ $dir =~ s/\/[^\/]+$//;
 
 while( defined( my $line = <> ) ) {
        chomp $line;
-       my( $file, $num, $text ) = split /,/, $line, 3;
+       my( $file, $num, $type, $name, $text ) = split /,/, $line, 5;
        my $dircp = $dir;
        while( shift @{[ $dircp =~ /([^\/]+)/, "//" ]} eq shift @{[ $file =~ /([^\/]+)/, "///" ]} ) {
                $dircp =~ s/[^\/]+\/?//;

diff --git a/build/doc-extract b/build/doc-extract
index b0c47df5b0f23af8df8e4d90f12a8f5d1e9745b1..85c3ba299e6e99b26f1e6e333a85fc9e7983f2a9 100755 (executable)
--- a/build/doc-extract
+++ b/build/doc-extract
@@ -60,7 +60,7 @@ sub formatNote( $$ ) {
        }
        if( $hasdump ) {
                $head =~ s/\n.*//s;
-               print DUMP "$outname,$id,$head\n";
+               print DUMP "$outname,$id,$type,$name,$head\n";
                $id ++;
        }
        print OUT "$comment\n\n";