

    ** How to update documentation:

  - Copy complete documentation to the html/ directory
  - Replace html/index.html with index_in_html_modified.html
  - If result is not OK (e.g. some links don't work) then restore the original
    html/index.html and add only the section under "IGLib Documentation" in a
    text editor.
