Re: building without tex (was: zero-width space)

2022-06-05 Thread Deri
On Sunday, 5 June 2022 09:40:43 BST Ingo Schwarze wrote: > Of course, that implies that subsequently, "make dist" will inevitably > fail, so it won't help much for a serious developer who wants to do > complete testing of whatever changes they are considering. The reason to avoid having a

Re: building without tex (was: zero-width space)

2022-06-05 Thread G. Branden Robinson
Hi, Ingo! At 2022-06-05T10:40:43+0200, Ingo Schwarze wrote: > G. Branden Robinson wrote on Sat, Jun 04, 2022 at 08:58:14PM -0500: > > > While I have you, Deri raised a point in Savannah #62251 that I'd like > As you correctly say below, #62551. Argh, yes. Once bug numbers get past four digits

building without tex (was: zero-width space)

2022-06-05 Thread Ingo Schwarze
Hi Branden, G. Branden Robinson wrote on Sat, Jun 04, 2022 at 08:58:14PM -0500: > While I have you, Deri raised a point in Savannah #62251 that I'd like As you correctly say below, #62551. > your feedback on. He feels the weight of a TeX installation; other > people probably will too. It