Camm Maguire <[EMAIL PROTECTED]> writes: | Greetings, and thanks! | | Should we make makeinfo a build dependency of GCL? We cannot generate | any documentation without it. I.e. we can | | 1) silently skip documentation when makeinfo is absent | | or | | 2) bomb if it is not found in configure.
My preference would be for (1). The reason is that there are packages, e.g. Axiom, that are only interested in the GCL image not the documentation. They should be given a chance to build and use the image. -- Gaby _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
