From 62d6af595070a89b1a686797d1893156d4245fd7 Mon Sep 17 00:00:00 2001
From: Michal Vaner <vorner@ucw.cz>
Date: Sat, 13 Sep 2008 14:10:50 +0200
Subject: [PATCH] Doc. system: fix semicolons

They were sometimes missing at the end of one-line headers.
---
 build/doc-extract | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/doc-extract b/build/doc-extract
index 70de78e6..9ce8a3c5 100755
--- a/build/doc-extract
+++ b/build/doc-extract
@@ -52,6 +52,7 @@ sub formatNote( $$ ) {
 	chomp $head;
         my( $type, $semicolon, $name, $oneline ) = detect( $head );
 	$oneline =~ s/\s+$//;
+	$oneline =~ s/;?$/;/ if( $semicolon );
         $head =~ s/;?\s*$/;/ if( $semicolon );
 	$head =~ s/(\.\.\.)/\\$1/g;
 	print OUT "[[${type}_$name]]\n";
-- 
2.39.2