::
Ho individuato il problema, i comandi \maleglossary e \printglossary, per quanto riguarda TeXShop sono: \makenomenclature e \printnomenclature.
Come dicevi tu, da shell di Terminale ho inserito:
`makeindex prova.nlo -s nomencl.ist -o prova.nls`
…e ora tutto funziona.
GRAZIE!
