1) La riga
\ifx\pdfoutput\undefined\def\pdfdest name#1 fit{\relax} \def\pdfoutline goto name#1#2{\relax}\fi
c’e’ solo perche’ TeX non ti dia un’errore di compilazione quando non utilizzi pdfTeX. Non puo’ creare nessun bookmark.
2) Sei sicuro che \let\WriteBookmarks\relax si mette nel file .out e non nel tuo file .tex? (Forse hai ragione, ma meglio che ti assicuri)
3) Che il bookmark dopo click non va da nessuna parte significa che non esiste la sua destinazione nel documento. Hai scritto anche
\pdfdest name{prova} fit
nel .tex? Comunque, questo sarà utilizzabile solo con pdfTeX.
Se veramente devi passare per il .dvi, bisogna sapere come nel .dvi sono marchiati i bookmarks, forse con uno \special?
Ora ho guardato un po’ – prova a mettere nella pagina di cui si tratta (nel documento .tex):
\special{pdf: out 1 << /Title (Abstract) /Dest [ @thispage /Fit ] >>}
e dimentica per ora delle altre modificazioni del .tex e del .out.
E vedremo
Tomas