Greetings! OK, should be optional now. Please let me know if not. Take care,
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > 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 > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
