The documentation for Bertini_real is HTML.  In the subdirectory
here, open index.xhtml to read the documentation.
