Günter Milde 0529b40cc9 Set default output format for manuals to PDF (pdflatex). ... Pdflatex is the recommended export tool for the manuals. Pdflatex brings the best results for hyperlinking. Some features (e.g. rotated text) are not available in DVI or PS (dvips). This does not affect export from command line or autotests (where this setting is ignored and the format must aways be given explicitely).		2015-12-10 10:40:50 +01:00
..
Intro.lyx	Set default output format for manuals to PDF (pdflatex).	2015-12-10 10:40:50 +01:00