Y si utilizaras el switch (que en tu caso es la mejor opción)
Código PHP:
switch($section) {
case 'historia' : echo 'Historia'; break;
case 'manual' : echo 'Manual'; break;
case 'contacto' : echo 'Contacto'; break;
default : echo 'ninguna de la anteriores';
}
Saludos