#2538: "make -j2 dist" does not work (bad dependency?) Comment (by brendan): Unfortunately, your patch means that make will build the documentation when unpacked from a distribution tarball. We want to avoid this. -- Ticket URL: <http://dev.mutt.org/trac/ticket/2538#comment:7>