FilesExpand file tree

 master

/

deploy_docs.sh

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

executable file

·

50 lines (41 loc) · 1.64 KB

 master

/

deploy_docs.sh

Copy path

Top

File metadata and controls

• Code
• Blame

executable file

·

50 lines (41 loc) · 1.64 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

#!/bin/bash

# Publish documentation to the gh-pages site.

# The remote for pushing the docs (defaults to origin).

# This is where you will submit the PR to BVLC:gh-pages from.

REMOTE=${1:-origin}

echo "Generating docs and pushing to $REMOTE:gh-pages..."

echo "To build and view docs when not on master, simply do 'jekyll serve -s docs'."

echo

REMOTE_URL=`git config --get remote.${REMOTE}.url`

BRANCH=`git rev-parse --abbrev-ref HEAD`

MSG=`git log --oneline -1`

if [[ $BRANCH = 'master' ]]; then

# Find the docs dir, no matter where the script is called

DIR="$( cd "$(dirname "$0")" ; pwd -P )"

DOCS_SITE_DIR=$DIR/../docs/_site

# Make sure that docs/_site tracks remote:gh-pages.

# If not, then we make a new repo and check out just that branch.

mkdir -p $DOCS_SITE_DIR

cd $DOCS_SITE_DIR

SITE_REMOTE_URL=`git config --get remote.${REMOTE}.url`

SITE_BRANCH=`git rev-parse --abbrev-ref HEAD`

echo $SITE_REMOTE_URL

echo $SITE_BRANCH

echo `pwd`

if [[ ( $SITE_REMOTE_URL = $REMOTE_URL ) && ( $SITE_BRANCH = 'gh-pages' ) ]]; then

echo "Confirmed that docs/_site has same remote as main repo, and is on gh-pages."

else

echo "Checking out $REMOTE:gh-pages into docs/_site (will take a little time)."

git init .

git remote add -t gh-pages -f $REMOTE $REMOTE_URL

git checkout gh-pages

fi

echo "Building the site into docs/_site, and committing the changes."

jekyll build -s .. -d .

git add --all .

git commit -m "$MSG"

git push $REMOTE gh-pages

echo "All done!"

cd ../..

else echo "You must run this deployment script from the 'master' branch."

fi