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
