mkdist: build documentation unless -d given
commit2338d9124a07c95b778770e9a13c07f0eed7487c
authorKalle Olavi Niemitalo <kon@iki.fi>
Mon, 30 Jun 2008 16:41:14 +0000 (30 19:41 +0300)
committerKalle Olavi Niemitalo <Kalle@Astalo.kon.iki.fi>
Mon, 30 Jun 2008 17:36:56 +0000 (30 20:36 +0300)
tree5bc0d4ffb332c4720f72708e5619cada40b00d05
parent6e3011b29a9126ecb438a148d95952895b86125c
mkdist: build documentation unless -d given

The documentation has version numbers in a few places and it's easier
to get those right this way than by building it elsewhere before
running mkdist.  This change slows down mkdist but ccache can mitigate
some of that and snapshots use prebuilt documentation anyway.
contrib/mkdist