GitHub repository: metamath/metamath-website-scripts
Primary language: Shell
Created: 2022-07-17T21:16:07Z
Description: 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.