upload di determinati tipi di file - come procedere?

[gabar-el]

ciao, ho questo codice per l'upload di un file

if (isset($_FILES['allegato3']['tmp_name']))
                {
                    $allegato3 = "../circolari/".str_replace(' ', '_', $_FILES['allegato3']['name']);
                    if(!move_uploaded_file($_FILES['allegato3']['tmp_name'], $allegato3))
                    {
                        $allegato3 = "";
                    }
                }
                else
                {
                    $allegato3 = "";
                } 

volessi specificare che devono essere solo file .pdf cosa dovrei fare?
grazie per qualsiasi info....