diff options
| -rwxr-xr-x | source/script/find_missing_doc.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/script/find_missing_doc.pl b/source/script/find_missing_doc.pl index b5824465697..b27a405e4dd 100755 --- a/source/script/find_missing_doc.pl +++ b/source/script/find_missing_doc.pl @@ -30,7 +30,7 @@ close(IN); open(IN,$topdir.$doc_file) || die("Can't open $topdir$doc_file"); while(<IN>) { - if( /<term><anchor id="([^"]*)">([^<]*?)([ ]*)\(.\)([ ]*)<\/term>/g ) { + if( /<term><anchor id="([^"]*)"\/>([^<]*?)([ ]*)\(.\)([ ]*)<\/term>/g ) { $key = $1; $value = $2; $doc{$value} = $key; |