I've made further tweaks to the website generator. It should be using every .mm data in the set.mm repo, and various .html / .raw.html files are getting used.
For the moment the us2.metamath.org site is getting updated daily, and the us.metamath.org site is also getting updated daily (after us2). That lets me see if things are working. I think we might want to keep it that way, though a slower update cadence might also make sense, but let's get things working first :-). --- David A. Wheeler -- 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/6F974739-0434-4129-BB3D-077F581F7272%40dwheeler.com.
