Copy gitignore in website update script
This commit is contained in:
1 parent
371e74a25f
commit
891f28ef5e
1 file changed
+2
@@ -17,10 +17,12 @@ cd ..
|
|||||||
# copy to /tmp
|
# copy to /tmp
|
||||||
tmpdir=$(mktemp -d -t jq.website.XXXXXXXXXX)
|
tmpdir=$(mktemp -d -t jq.website.XXXXXXXXXX)
|
||||||
cp -r docs/output/* "$tmpdir"
|
cp -r docs/output/* "$tmpdir"
|
||||||
|
cp .gitignore "$tmpdir"
|
||||||
|
|
||||||
# copy to gh-pages
|
# copy to gh-pages
|
||||||
git checkout gh-pages
|
git checkout gh-pages
|
||||||
cp -r "$tmpdir"/* .
|
cp -r "$tmpdir"/* .
|
||||||
|
cp "$tmpdir"/.gitignore .
|
||||||
|
|
||||||
# clean up
|
# clean up
|
||||||
rm -rf "$tmpdir"
|
rm -rf "$tmpdir"
|
||||||
|
|||||||
Reference in new issue
Block a user