[Gretl-users] Enabling "Build gretl documentation"