diff options
Diffstat (limited to 'docs-xml/scripts')
| -rwxr-xr-x | docs-xml/scripts/find_missing_manpages.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs-xml/scripts/find_missing_manpages.pl b/docs-xml/scripts/find_missing_manpages.pl index c468d7d1ee..39bf7983ff 100755 --- a/docs-xml/scripts/find_missing_manpages.pl +++ b/docs-xml/scripts/find_missing_manpages.pl @@ -19,6 +19,8 @@ while(<IN>) { } else { $invar = 0; } } +$progs =~ s/@([^@]+)@//g; + foreach(split(/bin\//, $progs)) { next if($_ eq " "); s/\@EXEEXT\@//g; |