search

metamath / metamath-website-scripts

Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.
MIT License
2 stars 3 forks source link

Add `mm-j-commands.html` to regenerate-website.sh #9

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

Identified as a possible step needed to get this page on the website at https://github.com/metamath/set.mm/pull/3252#issuecomment-1590560494 , which is still not on the website despite metamath/set.mm#3252 being merged for more than 24 hours. (To be fair I'm basically cargo-culting this code, these shell scripts are way too complicated to follow properly.)

digama0 commented 1 year ago

@david-a-wheeler Do you have a chance to look at this? https://us.metamath.org/mpeuni/mm-j-commands.html is still a 404 despite my best efforts.