Deploy to gh-pages

deploy.md

References

1. Using git worktree for deploying to GitHub Pages
2. Stackovervloew answer

## Setup

$ rm -rf dist
$ echo "dist/" >> .gitignore
$ git checkout -b gh-pages
$ git checkout main
$ git worktree add dist gh-pages # Make sure dist does not exist yet

## Making changes

$ cd dist
$ rm -rf * # Remove all initial files, this command would not delete hidden files
$ make # or what ever you run to populate dist
$ git add --all
$ git commit -m "Deploy $(git log '--format=format:%H' main -1)"
$ git push origin gh-pages
$ cd ..