| Run | |
| make | |
| to create these files: | |
| sourcefiles.zip | |
| TODO: explain how the website is created | |
| If you want to present the tutorial when Internet is not available, try this: | |
| (I have not yet tried an offline tutorial with these materials.) | |
| mkdir cf-tutorial | |
| cd cf-tutorial | |
| wget -r -k -np https://checkerframework.org/tutorial/ | |
| wget -r -k -np https://checkerframework.org/manual/ | |
| cd .. | |
| zip -r cf-tutorial cf-tutorial |