Comment 1 for bug 1475448

Would it be possible to move the DVI target to "DVI_internal" and include "make -j 1 DVI_internal" as the rule for DVI in the makefile? (I think the command line overrides what the "master" make got as arguments, right?)