Run
  make
to create these files:
  eclipse-projects.zip
  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.)
(It doesn't help with installing the Eclipse plugin, I suspect.)

mkdir cf-tutorial
cd cf-tutorial
wget -r -k -np http://types.cs.washington.edu/checker-framework/tutorial/
wget -r -k -np http://types.cs.washington.edu/checker-framework/eclipse/
wget -r -k -np http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html
cd ..
zip -r cf-tutorial cf-tutorial