diff --git a/doc/man-pages/generate-html b/doc/man-pages/generate-html index 11fdad1095..9bde41b7ad 100755 --- a/doc/man-pages/generate-html +++ b/doc/man-pages/generate-html @@ -100,6 +100,7 @@ sub scan_names { unless ($name) { warn "$dir/$file: cannot find NAME section, skipping\n"; } + $name =~ s/^(backup|bos|fs|fstrace|kas|pts|symlink|uss|vos)_/$1 /; my $page = $file; $page =~ s/\.pod$//; push (@index, [ $section, $name, $page, $desc ]);