--- man2html/scripts/cgi-bin/man/mansec.orig 2008-05-21 10:03:36.000000000 -0400 +++ man2html/scripts/cgi-bin/man/mansec 2008-05-21 10:04:46.000000000 -0400 @@ -117,7 +117,8 @@ BEGIN { print "
Manual pages found under " man_path "." > cache_tmp; # Find any man[1-8]/filenames - while ((("find " man_path " -follow -type f -printf '%f\n' | sort -f ") | getline manpage) > 0) { + find_cmd = "find " man_path " -follow -type f -printf '%f\n' | sort -f | uniq " ; + while ((find_cmd | getline manpage) > 0) { # Check for new letter of alphabet letter = tolower(substr(manpage,1,1)); if (letter != last_letter) {