Building documentation from the tarball fails

As reported by Sandro Tosi on the mailing list in the thread: "Error building documentation for 1.3.0rc4".