On Sat, Jun 20, 2015 at 04:58:35PM +0200, Enrico Forestieri wrote: > On Sat, Jun 20, 2015 at 08:14:03AM +0100, Guillaume M-M wrote: > > Le 20/06/2015 01:11, Enrico Forestieri a écrit : > > >On Fri, Jun 19, 2015 at 04:50:43PM +0100, Guillaume M-M wrote: > > > > > >>Lastly I see that you prevent loading the microtype package by redefining > > >>\usepackage as you described earlier in the thread. While your > > >>redefinition > > >>of \usepackage seems to be very careful, I still think that passing the > > >>option draft to microtype is more reliable in case the user actually uses > > >>macros from microtype (in addition there's no need to test whether the > > >>user > > >>loads microtype). > > > > > >I am concerned with the fact that in dvi mode the microtype package > > >considerably slows down the processing and prefer to not allow it. > > > > Yes, and the draft option disables the microtype features completely > > according to the manual. That's also why I mentioned it. But it's your call. > > In this case I will reconsider. Please, let me perform some checks first.
I am satisfied with the checks and committed this change at dd09a5ca. -- Enrico
