Crear buscador local de paginas html

Buenas, les comento que mi duda es cómo crear un buscador de páginas local, no de base de datos, por ejemplo:

Tengo un sitio "localhost" en donde esta la pagina principal y las otras páginas, una se llama carro.html, otra oso.html, otra cara.html, etc.

En la pagina principal quiero poner un buscador (formulario con cuadro de texto y un boton) para que me muestre la pagina que se busca, si pongo oso, que me muestre la pagina de oso.html.

He creado buscadores pero siempre han sido par base de datos, pero ahora es diferente y no encuentro cómo hacerle, espero alguien me pueda ayudar, gracias
Hola!

Debes utilizar las funciones de PHP para directorios y archivos:

$buscar = $_POST['nombre'] . 'html';
$archivos = scandir (RUTA_DIRECTORIO);
$encontrado = "";

foreach ($archivos as $archivo)
{
  if (is_file ($archivo) && endsWith ($buscar, $archivo))
  {
    $encontrado = $archivo;
    break;
  }
}

echo $encontrado;

// Sacado de stackoverflow: http://stackoverflow.com/questions/834303/startswith-and-endswith-functions-in-php
function endsWith ($haystack, $needle)
{
    $length = strlen ($needle);
    if ($length == 0) {
        return true;
    }

    return (substr ($haystack, -$length) === $needle);
}

Saludos!
Hola, este código por lo que entiendo va en el botón de busqueda y las letras mayusculas "RUTA_DIRECTORIO" las cambio por la ruta de los archivos a buscar?
Eso va en un archivo .php al cual debes dirigir el formulario:

<form action="script.php" method="post">

Y sí, debes cambiar RUTA_DIRECTORIO por la ruta que quieras ver (ojo con las comillas).