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