File: update_website

package info (click to toggle)
python-pyspike 0.8.0%2Bdfsg-3.1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 17,000 kB
  • sloc: python: 3,503; makefile: 147; sh: 19
file content (12 lines) | stat: -rwxr-xr-x 254 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/bash

git checkout gh-pages
rc=$?
if [[ $rc != 0 ]] ; then
    exit $rc
fi
cp -r _build/html/*.html _build/html/*.js _build/html/_static _build/html/_modules ../
echo "html files copied"
git commit -am"website update"
git push
git checkout master