improve gh-pages target

pull/10/head
sobolevn 8 years ago
parent 8d6df3c8a4
commit f04f42b62f

@ -7,8 +7,9 @@ function update_gh_branch {
git checkout gh-pages
make
git add --all
git add _posts
git commit -m 'documentation update'
git checkout master
}
update_gh_branch

Loading…
Cancel
Save