Run "make doc" before "make distcheck" in the nightly tarball script.

It is now necessary to have the docs built before running "make dist",
so update the nightly script to do that.

(cherry picked from commit f0add98422f44eac5e8bf0ff6aa2075cbf507f0d)