#2538: "make -j2 dist" does not work (bad dependency?) Comment (by ferdy): That doesn't really work because make might end up running {{{cd .. && $(MAKE) makedoc$(EXEEXT)}}} in two different 'code paths'. The proper fix is something along the lines of the following patch. - ferdy -- Ticket URL: <http://dev.mutt.org/trac/ticket/2538#comment:6>