Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
Description
in the INSTALL doc a file is referenced that is not in git,
See doc/html/index.html for installation instructions and other
relevant documentation.