[Linuxtrent] Come usare il Times in un file Texinfo? (semi-OT)
- From: Flavio Stanchina <flavio.stanchina@xxxxxx>
- To: linuxtrent@xxxxxxxxxxxxx
- Date: Tue, 22 Oct 2002 21:04:59 +0200
Sto cercando di produrre un file PDF da un file Texinfo: facile, basta
usare pdftex; però non riesco a fargli usare un font decente, ad esempio
il Times. Quando usavo Texinfo sull'Amiga, qualche buon'anima aveva
prodotto una versione speciale di texinfo.tex che usava il Times, ma non
riesco a trovarla e comunque temo che sarebbe largamente obsoleta...
Qualcuno sa darmi una dritta? Ho chiesto a Google ma o non ha capito la
domanda o non conosce la risposta nemmeno lui.
--
Ciao,
Flavio Stanchina
Trento - Italy
"The best defense against logic is ignorance."
http://spazioinwind.libero.it/fstanchina/
--
Per iscriversi (o disiscriversi), basta spedire un messaggio con SOGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx
Other related posts: