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 thedefault_dest_dir
in the default target to the path you wish to put the static HTML in.
cp -r
'ing it.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