Re: texdoc e nome pacchetto

Ciao a tutti.
Qualcuno può scrivere, per favore, il link esatto al server di Roma, per aggiornare texdoc? Se copio nella cartella Preferences della TeX Live Utility l’URL che vedo nella lista dei mirror del sito della TeX Live, mi dà list failed.

Dove sbaglio? E che differenza c’è tra mirror e mirror ufficiale? Pensavo che quello svizzero, che ho messo come predefinito, fosse ufficiale.

Ciao
Tommaso