Yes, it's definitely possible. Norm sent me instructions on how to do it a long time ago. I first have to find them in my infinite email inbox. I haven't tried to do it, so of course something might not work, but I *think* I just have to find & follow the instructions (famous last words).
My problem is that I've been swamped at work (I worked through the holidays) & my father has some serious health problems, so I've been delayed. So I'll get to it (unless someone gets there first). So please be patient with me!! --- David A. Wheeler > On Jan 3, 2022, at 11:57 AM, Benoit <[email protected]> wrote: > > I agree with David's proposed items: > > 1. Properly-working "https:". Eventually "http:" should do only one thing: > > redirect to the corresponding "https:". > > 2. Automated regeneration of the website from the repo contents, with no > > human action. > > 3. Confidence that everything will keep working & be easily maintainable > > even after someone becomes incapacitated/dies. > > but for now, is it possible to regenerate the theorem pages (even if it is > less frequent and manual, while waiting for automation) ? Currently, the > page http://us2.metamath.org:88/mpeuni/mmrecent.html indicates "Last updated > on 8-Dec-2021 at 4:21 AM ET." I don't remember how it was done, but > generally, a change was on us2.metamath.org at most 24h after a PR was merged > (and on us.metamath.org another 24h/48h after that). It is getting a bit > difficult to track the changes made in the past almost-one-month. > > Benoît > > -- > 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/f168b0a7-ac4d-4f7e-b88a-22cd569c4241n%40googlegroups.com. -- 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/7F21CCAE-3789-4BAC-BCB4-EADEBB42326A%40dwheeler.com.
