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.