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
Fix "http:" (should be "https:" in README, fixes #10 #11
This fixes an error reported by @benjub (thank you!).