Tutti i file di configurazione non dovrebbero venire modificati a mano.
Se uno volesse allora seguire le istruzioni, ma volesse cambiare la riga di updmap-hdr.cfg
`
dvipsDownloadBase35 false
`
in
`
dvipsDownloadBase35 true
`
come dovrebbe fare?Notare che la cosa non è uno sfizio per coloro che volessero usare il formato PS o dovessero passare per il formato PS per poi produrre un file PDF/A, dove tutti i font devono essere inclusi (ciascuno eventualmente sotto forma di subset) anche i 35 di default.
Il metodo è lo stesso che ho consigliato oggi a Tommaso per un’altra faccenda. Scrivi (o aggiungi) la riga
`dvipsDownloadBase35 true`
nel file “updmap-local.cfg” che va registrato in $TEXMFLOCAL/web2c
`sudo nano $(kpsewhich -var-value TEXMFLOCAL)/web2c/updmap-local.cfg`
(con i’editor preferito al posto di “nano”, ovviamente). Poi i comandi
`sudo tlmgr generate updmap
sudo updmap-sys`
registreranno quanto richiesto nei vari file, cioè psfonts.map (per dvips), dvipdfm.map (per (x)dvipdfm(x)) e pdftex.map (per pdftex).
L’ho provato e ottengo, durante l’esecuzione di updmap-sys
`download standard fonts (dvips): `true'`
che sembra promettente. 🙂 Nel file psfonts.map trovo
`psyr StandardSymL