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. Take care, Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Camm Maguire <[EMAIL PROTECTED]> writes: > > | Greetings! OK I think this is in now on branches 2.6.8 and head. > | Please let me know if problems persist. > > Camm -- > > I just checked out GCL-2.6.8pre for build with Axiom. > The build appears to fail when "makeinfo" is not present in the build > environment. > [...] > (see the transcript file for additional information) > Output written on gcl-si.dvi (149 pages, 329240 bytes). > Transcript written on gcl-si.log. > makeinfo --html gcl-si.texi > make[3]: makeinfo: Command not found > make[3]: *** [gcl-si/index.html] Error 127 > make[3]: Leaving directory `/home/gdr/build/axiom/lsp/gcl-2.6.8pre/info' > [...] > > That behaviour breaks Axiom build. It is a regression from previous > versions. > > -- 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
