- commit
- 4181f2ae7e79cf316ead2d4757ffdf7386f8bcc1
- parent
- c4874d36dd20409d3b420f74d263608895d38861
- Author
- Tobias Bengfort <tobias.bengfort@gmx.net>
- Date
- 2015-08-28 20:03
add push-doc make target
Diffstat
| M | Makefile | 12 | ++++++++++++ |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile b/Makefile
@@ -39,3 +39,15 @@ node_modules/closure-compiler-jar/compiler.jar: 39 39 40 40 node_modules/jsdoc/jsdoc.js: 41 41 npm install jsdoc -1 42 -1 43 push-doc: doc -1 44 git stash -1 45 cp -r doc/muu doc-tmp -1 46 git checkout gh-pages -1 47 rm -r muu -1 48 mv doc-tmp muu -1 49 git add muu -1 50 git commit -am "update docs" -1 51 git push origin gh-pages -1 52 git checkout master -1 53 git stash pop