Am Dienstag, 9. April 2013 um 22:57:39, schrieb Uwe Stöhr <uwesto...@web.de>
> 
> > I am not sure how many people use ps2pdf
> > these days but I thought it was more important to have it compile with
> > both than to keep the bookmarks. If the first experience a user has is
> > they open a manual and it does not compile, to me that is very bad.
> 
> The default is pdflatex, so only experienced users who know te differences 
> will use ps2pdf.
> 

AFAIK, the default is, what the user specifies in preferences. (...->File 
Handling->File Formats->Default Output Format)
Therefore explicitly setting the default for _this_ document is OK IMHO.

        Kornel

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to