> Secondly, you have done a great job of publishing the various scripts so > that we can see what is going on (and at least in theory, help too) at > https://github.com/metamath/metamath-website-seed and > https://github.com/metamath/metamath-website-scripts (one can find, for > example, a pull request with some portion of the rewrite mentioned above).
Oh, nice. I was unaware of these, so thank you for re-sharing. FYI, the README in metamath-website-scripts still mentions contacting Norm 😢 > In the hopefully unlikely event there is a problem, > please report it to Norm Megill Jim Kingdon <[email protected]> wrote: > On 9/9/23 11:37, David A. Wheeler wrote: > > > The long-term solution is to rewrite the regeneration script, which is > > currently *way* overcomplicated. I've started doing taht, but "real life" > > keeps getting in the way :-). > > First of all, THANK YOU for all your efforts! > > Secondly, you have done a great job of publishing the various scripts so > that we can see what is going on (and at least in theory, help too) at > https://github.com/metamath/metamath-website-seed and > https://github.com/metamath/metamath-website-scripts (one can find, for > example, a pull request with some portion of the rewrite mentioned above). > > Thirdly, best wishes that your real life remains manageable.We'll figure > out the metamath stuff somehow but that stuff comes first. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2403PPV0ZXSPR.3917VSGPILAG4%40wilsonb.com.
