7 Gennaio 2011 alle 9:57
#54363
::
In effetti alla fine ho risolto da CLI, poiché ho trovato più immediato questo sistema che altri. Ciò, Lorenzo, dimostra che sappia muovermi un po’ nella shell, ma dall’Arte – per la quale io ho profonda ammirazione nei tuoi confronti – non sono riuscito a desumere come farlo funzionare.
Infatti, almeno per quanto riguarda il mio caso, solo portando il file fuori dalla cartella di lavoro sono riuscito a far funzionare makeindex. Non so se dipende dal nome file.
Grazie per le risposte chiarificatrici, a presto. Marco.