anyproxy/build_scripts/build-doc-site.sh

#!/bin/bash

## get into the "build_scripts" folder regardless of the excution directory
parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$parent_path/.."

## compile the doc
node ./build_scripts/prebuild-doc.js
gitbook build ./docs-src ./docs

## push the doc into github
# git add ./docs
# git commit -m 'building docs'
# git push origin
add link to summary also update doc:build script to build the site 2018-01-07 21:34:32 +08:00			`#!/bin/bash`

			`## get into the "build_scripts" folder regardless of the excution directory`
			`parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )`
			`cd "$parent_path/.."`

			`## compile the doc`
			`node ./build_scripts/prebuild-doc.js`
			`gitbook build ./docs-src ./docs`

			`## push the doc into github`
build document 2019-03-24 21:18:21 +08:00			`# git add ./docs`
			`# git commit -m 'building docs'`
			`# git push origin`