Una domanda: come produci il .pdf? Io l’ho provato con dvipdfm e con la riga
\special{pdf: out 1 << /Title (Abstract) /Dest [ @thispage /Fit ] >>}
ha funzionato bene.
Hai ragione che con questo metodo le righe
\ifx\pdfoutput\undefined\def\pdfdest name#1 fit{\relax} \def\pdfoutline goto name#1#2{\relax}\fi
\let\WriteBookmarks\relax
\pdfdest name{prova} fit
\pdfoutline goto name{prova}{Abstract}
sono inutili. Le ultime due sono solo per pdfTeX, la prima e’ per non confondere TeX con comandi di pdfTeX (quando un file scritto per pdfTeX lo vuoi usare anche con TeX) e la rimanente dice di non riscrivere il file .out (quando lo hai cambiato a mano).
\special serve generalmente per indicare in un file .dvi un commando che non appartiene al sistema di commandi .dvi, ma si puo’ interpretare quando il .dvi driver conosce anche il linguaggio in cui quel commando e’ scritto o quando il .dvi si converte a un file di tale linguaggio – per es. postscript (.ps) o .pdf.
Lo \special che ora usi tu e’ un messaggio di questo genere al programma che converte .dvi a .pdf., cioe’ al dvipdfm. Fa probabilmente parte della tua distribuzione di TeX. Io non so cosa succede con questo messaggio se il .dvi si converte in .ps e solo dopo al .pdf. Quindi prova la diretta conversione con il dvipdfm.
Tomas