Sì, sull’Arte c’è scritto che cosa fare; per altro le cose da fare sono diverse a seconda che la piattaforma si Linux o Windows; quindi leggi la sezione giusta.
Per altro anche il sito CTAN dice che cosa fare con il grosso file ISO; dipende se il tuo sistema operativo può aprire il file ISO come se fosse un disco, mentre se non lo può aprire devi masterizzare un dvd con quella ISO, e poi seguire le istruzioni che sono presenti su CTAN come sull’Arte.
Attento: se sei su Linux, uno di quei Linux che soddisfano ai requisiti del consorzio Debian, devi seguire, con le modifiche relative alla differenza di anni, le indicazioni del file texlive-ubuntu.pdf che trovi in rete cercandone il nome proprio come te l’ho scritto. Quella piccola guida è scritta per Ubuntu, ma vale anche per Suse e per Fedora; probabilmente anche per altre versioni Linux, ma la sperimentazione dipende dal singolo utente, perché Enrico non poteva scrivere un capitolo apposta per ognuna del 250 e più versioni diverse di Linux.