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/2a059eb9-4723-0ecc-eb5b-1409ffd41214%40panix.com.
