Skip to content

Commit

Permalink
Update DOCUMENTATION.md
Browse files Browse the repository at this point in the history
  • Loading branch information
RMeli authored Jul 10, 2024
1 parent 953f1c6 commit 835344a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion DOCUMENTATION.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ The documentation is pushed by the [GitHub Action] to the `docs-ghpages` branch.
```bash
git checkout --orphan docs-ghpages
mkdir main && touch main/index.html
git add main/index.html && git commit -m "empty docs"
git rm --cached -r . && git add main/index.html && git commit -m "empty docs"
git push --set-upstream origin docs-ghpages
```

Expand Down

0 comments on commit 835344a

Please sign in to comment.