The information on updating was out-of-date.  Mention that CI does
most of the work, and leave some brief instructions on how to view the
updated html files and how to generate the docs.

There's no need to run emacs to preprocess the files anymore.