4.1. Setting Up
- Start from a prepared lecture (like this one) by unpacking its archive, or cp -r'ing it.
- In the file Render_all_contents.pl change the default_dest_dir in the default target to the path you wish to put the static HTML in.
Written by Shlomi Fish