Bien, se lo que tienes que hacer, lo que tienes que hacer es buscar el ASCII del "F5", que creo que es el 116, lo que tendrias que hacer es el siguiente:
Código:
....
if ( variable_char = 116 )
{
printf("HA PULSADO F5!";
}
...
Lo que hara sera, transformar 116, en un tipo char, osea la tecla F5,
Saludos, espero que te haya ayudado!