Skip to content

Host HTML docs with github.io #4

Description

@barendventer

This was one of the unachieved goals from last summer. There should be a GitHub page that points to the generated HTML docs. An *.fsi script to push to the docs folder and invoke git might be a start, and the solution file might be set up to invoke it.

Metadata

Metadata

Assignees

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions