Just a heads up that the docs directory is not building with the latest CVS because gpl.texi is no longer in the repository, yet it is still a dependency in the Makefile.

Reply via email to