I figured this out… but I totally forgot/overlooked the fact that I need the stupid title of the file in order to do what I want… not just the filename. Duh@!#!@#
In case anyone needs/wants to list the contents of a directory… here’s the code I used. I threw this into a template file and it worked great.
<?php
//path to directory to scan
$theme_name = get_template();
$manual_directory = "wp-content/themes/" . $theme_name . "/library/manuals/";
//get all files with a .pdf extension
$manuals = glob($manual_directory . "*.pdf");
//print each manual file name
foreach($manuals as $manual)
{
//wrap this in an href <a href='$manual' target='_blank'>$manual</a><br>
echo "$manual<br>";
}
?>