Hence, I downloaded the source from GitHub, executed a
git clone ...
git checkout v3.1.0
git submodule init
git submodule update
...and the sources seem to be ok.
To generate the documentation, from the command prompt (I'm on a Win7 machine @ work) I executed