From f915505b0e1d50bc852406ce445364968b726bf5 Mon Sep 17 00:00:00 2001
From: Michal Vaner <vorner@ucw.cz>
Date: Wed, 10 Sep 2008 20:58:47 +0200
Subject: [PATCH] Doc. system: export type and name do deflists

---
 build/doc-defs    | 2 +-
 build/doc-extract | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/doc-defs b/build/doc-defs
index a39cda40..01cdb8d9 100755
--- 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 b0c47df5..85c3ba29 100755
--- 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";
-- 
2.39.2