Dev docs
This commit is contained in:
parent
ae16aeddc9
commit
af9c5fb18f
10
doc/dev.md
10
doc/dev.md
|
@ -41,3 +41,13 @@ To deploy to Github Pages:
|
||||||
```
|
```
|
||||||
script/release
|
script/release
|
||||||
```
|
```
|
||||||
|
|
||||||
|
To create a new release:
|
||||||
|
|
||||||
|
```
|
||||||
|
cd gh-pages
|
||||||
|
git checkout -b v0.0.2
|
||||||
|
git push --set-upstream origin v0.0.2
|
||||||
|
```
|
||||||
|
|
||||||
|
Then make a new release on Github with the `v0.0.2` tag.
|
||||||
|
|
Loading…
Reference in a new issue