this PR adds a new GHA workflow that builds the documentation from source and pushes it to the gh-pages branch anytime theres a push to main/master. This removes the need for two docs folders, makes diffs easier to read, and omits the need to rebuild and push docs.
this PR adds a new GHA workflow that builds the documentation from source and pushes it to the
gh-pages
branch anytime theres a push tomain/master
. This removes the need for two docs folders, makes diffs easier to read, and omits the need to rebuild and push docs.