diff --git a/_docs/README.md b/_docs/README.md index 035c97f58..a0a0293ba 100644 --- a/_docs/README.md +++ b/_docs/README.md @@ -10,6 +10,15 @@ `git subtree push --prefix _docs/public/ origin gh-pages` +## If the above doesn't work, try this: + +``` +# https://gist.github.com/cobyism/4730490#gistcomment-1394421 +git subtree split --prefix _docs/public -b gh-pages +git push -f origin gh-pages:gh-pages +git branch -D gh-pages +``` + # How to update the version 1. Fix the release date in the HTML @@ -21,4 +30,4 @@ 2. Generate the doc 3. Add tag like v1.2.0-rc1 4. Deploy JavaScript files to github.com/hajimehoshi/ebiten.pagestorage - 5. Deploy the doc (You might see confliction. Unfortunately, we might have to use git push -f (See https://gist.github.com/cobyism/4730490#gistcomment-1394421)) + 5. Deploy the doc