Però, se vuoi una soluzione al volo per questo problema, modifica l'ultima parte così:

Codice PHP:
$scaricabili = array ("pag1.pdf""pag2.pdf""pag3.pdf""eccetera");

if (isset(
$_GET['file']) AND in_array($_GET['file'], $scaricabili))
{
    
forceDownload($_GET['file']);

Nell'array $scaricabili metti i nomi dei file scaricabili