It is no longer needed outside this directory
since it has mostly been replaced by setup.py.
Always build the talk HTML, now that the Makefile is in a subdir,
since subdir builds only happen when explicitly requested.
Update the documentation to match the new build setup.
Reduces the chance of network attackers modifying the HTML.
Don't modify the embedded copy of the docutils small-white theme,
since rebuilding the talk HTML will also revert the changes,
if the theme is not yet present on disk.
Suggested-by: check-all-the-things
These files are in the public domain, except for iepngfix.htc, which
is under LGPL 2.1+ (see notice in file).
This command adds the pristine versions of the files, so that the
small changes that I made in the files in the next commit will be
documented.