Up to list of GNU SETL manuals
It will primarily be about the build system, including all the provisions for customization (extension), the top level Makefile, the documentation, the GMP library, the Makefile.am and configure.ac structure, distribution, and distchecking.
See also the primary document in the present set, namely the GNU SETL Om.