Generate index.html from index.html.in.  This avoids having to modify the
index to update the version number; boilerplate.tex remains the only document
source for this information.
4 files changed