5/25/09 Jaroslav, The pdf documentation fails to build. I checked in a solution for this a few days ago but forgot to update the Makefile to include the extra necessary file for distribution. I just committed changeset 5c05996ee4ac which fixes the problem and should be pulled across to the release candidate. --Rik