Closed SamCoVT closed 1 year ago
There is an old index-1.html file in the docs directory. This can be removed as it is old and stale. The correct HTML version, when generated, already exists and is named manual.html.
There is an old index-1.html file in the docs directory. This can be removed as it is old and stale. The correct HTML version, when generated, already exists and is named manual.html.