[Gretl-devel] Problem with LaTeX doc compilation