On Friday, October 21, 2016 at 1:18:48 PM UTC-7, John H Palmieri wrote: > > On Friday, October 21, 2016 at 12:31:01 PM UTC-7, Martin R wrote: >> >> >> 3.) building info files requires that makeinfo is installed. What is the >> proper way to deal with this? >> > > Check whether it's installed in some robust way and don't build the "info" > output type if it's not? What other choice do we have? I don't think we > want an optional "makeinfo" package. >
We already have makeinfo as part of the autotools package. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
