Grazie Enrico, ti propongo per la beatificazione.
La soluzione che hai gentilmente fornito non mi funziona, ma fa niente, cerco quello che mi serve da terminale.
Riporto quello che mi succede a futura memoria.
Innanzitutto esistono due cartelle Spotlight, una sotto
HD/Libreria/Spotlight
e l’altra sotto
HD/Sistema/Libreria/Spotlight
Come suggerito ho scelto la prima, ma Spotlight, anche dopo aver dato i due comandi, si ostina a non trovare i pacchetti .sty e .pdf, né le cartelle con lo stesso nome (senza .sty) che li contengono.
Trova invece una cartella “lipsum” che non so come né perché è finita in HOME/fonts/tex/latex ed è strapiena di decine di altre cartelle vuote. Non ho neanche idea da dove arrivi la cartella HOME/fonts, che contiene anche un /doc/latex/newpack, a sua volta strapieno delle stesse cartelle vuote contenute nella succitata cartella “lipsum”. Boh, mi sa che butto tutto.
Saluti.