On 2013-04-10, Kornel Benko wrote: > [-- Type: text/plain, Encoding: quoted-printable --]
> 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) OK, so the above should read the default default is ... > Therefore explicitly setting the default for _this_ document is OK IMHO. Agreed. Günter
