On Sun, 25 Oct 2015, Clive Nicholas wrote:
 Allin,
 I didn't add it because it still generate errors!
 clive@clivubu:~/gretl-2015d$ ./configure --prefix=/usr/local
 --enable-quiet-build --enable-openmp --enable-build-doc 
Clive, we (Oleh and I) are telling you: (a) "make pdfdocs" will not 
work unless you have given the option --enable-build-doc to the 
configure script, but (b) the latter option is valid only when you 
are building from the git source, and not with a regular release 
source package such as gretl-2015d.tar.xz.
In other words, if you want to build the docs you _must_ use the git 
source and you _must_ add --enable-build-doc when configuring. In 
addition you _must not_ invoke "sudo" when doing "git pull" or 
running the configure script.
Allin