holaa... esto en teoria deberia validar el tipo de archivo a subir
pero no hace nada..
esta bien "escrito" ?  
 Código PHP:
        if((theForm.manual.value!='') && (theForm.manual.value.lastIndexOf(".pdf")==-1)) {
        alert('El tipo de archivo que desea subir es incorrecto. Seleccione un archivo PDF');
        return(false);
    } 
    
  gratzie!