diff --git a/to_gh.sh b/to_gh.sh new file mode 100755 index 0000000..7c7a179 --- /dev/null +++ b/to_gh.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +gitbook build . +cp -rf _book/* ~/tmp/ucore_docs +cd ~/tmp/ucore_docs +git add . +git commit -m 'pub' +git push origin gh-pages