Run in a terminal from this directory::

  make html

Also useful::

  rm -rf generated
  make clean
