23 Agosto 2013 alle 9:06
#88184
::
In questo caso direi che il tuo database dei nomi dei file non è aggiornato; MiKTeX Settings ha un apposito bottone per aggiornare i database dei nomi dei file per tutti gli alberi (di sistema, personale ed altri) della tua installazione, purché questi siano elencati nell’apposita finestra dello stesso MiKTeX Settings.