--- man2html/scripts/cgi-bin/man/mansec 2002-07-17 10:20:20.000000000 -0400 +++ man2html/scripts/cgi-bin/man/mansec.new 2004-05-26 14:29:56.396967256 -0400 @@ -117,7 +117,8 @@ 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) {