Script to update gh-pages from master
This commit is contained in:
1 parent
b23d07875e
commit
e404a1a96d
1 file changed
+27
Executable
+27
@@ -0,0 +1,27 @@
|
|||||||
|
#!/bin/sh
|
||||||
|
|
||||||
|
# This script builds the website from the docs directory of
|
||||||
|
# the current branch and copies it over to the gh-pages
|
||||||
|
# branch.
|
||||||
|
|
||||||
|
set -eu
|
||||||
|
set -o xtrace
|
||||||
|
|
||||||
|
# build website
|
||||||
|
scriptdir=`dirname "$0"`
|
||||||
|
cd "$scriptdir"/../docs
|
||||||
|
rm -rf output
|
||||||
|
rake build
|
||||||
|
cd ..
|
||||||
|
|
||||||
|
# copy to /tmp
|
||||||
|
tmpdir=$(mktemp -d -t jq.website.XXXXXXXXXX)
|
||||||
|
cp -r docs/output/* "$tmpdir"
|
||||||
|
|
||||||
|
# copy to gh-pages
|
||||||
|
git checkout gh-pages
|
||||||
|
cp -r "$tmpdir"/* .
|
||||||
|
|
||||||
|
# clean up
|
||||||
|
rm -rf "$tmpdir"
|
||||||
|
echo SUCCESS
|
||||||
Reference in new issue
Block a user