Hartmut Henkel a écrit : > but wouldn't this mean that one can't have two different .ini files for > dvi and pdf mode? They are not identical, i guess. > Maybe the main objection is technical... is it technically possible in the current state to have an option loading an alternate ini file? -- Elie