Re: [tei-council] Jenkins build process

Yes, I did look at it again, but still have gotten (almost) nowhere. Anyone else who wants to look into this, speak up.

Syd suggested that his efforts to fix #1476 may have caused the problem. Said he was going to look at it again.