On Sat, Jan 9, 2010 at 11:53:24 -0500, Gaetan Nadon wrote: > When building of docs is disabled (the default) the > distribution of the doc output must be as well. > Otherwise the make dist target fails. > I disagree with this. make dist should give reproducible results. Cheers, Julien