Dear Oscar,
Thanks for taking a look, when I know you have other things going.
I will be off-duty most of the day, so I went ahead and merged this now.
If there is a disaster, my assistant can always revert the seven commits if we
need to.
I think this modularization is going to have some really good long-term benefits.
Rob
On 6/3/26 21:21, Oscar Levin wrote:
> As far as I can tell, this looks reasonable. If you merge it by the end of the
> day Thursday, I should be able to fix up the import scripts so that nightlies
> don't stay broken for too long.
>
> On Wednesday, June 3, 2026 at 8:54:08 PM UTC-5 Rob Beezer wrote:
>
> Small force-push, just now.
>
> Ready for a look.
>
>
https://github.com/PreTeXtBook/pretext/pull/2888 <
https://github.com/
> PreTeXtBook/pretext/pull/2888>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to
pretext-dev...@googlegroups.com <mailto:
pretext-
>
dev+uns...@googlegroups.com>.
> fc507fe6-d08f-44c6-9207-23420ff177b1n%
40googlegroups.com <https://
>
groups.google.com/d/msgid/pretext-dev/fc507fe6-
> d08f-44c6-9207-23420ff177b1n%
40googlegroups.com?utm_medium=email&utm_source=footer>.