Add script to update docs on knora.org

[benjamingeer]

This adds a script that you can run manually to update the documentation on knora.org when the RST or generated API docs have changed.

The script assumes that you're on the develop branch and have already committed any changes you made there. It builds the docs and updates the gh-pages branch with the resulting HTML.

In the future we could automate this to run every time develop is updated.

[tobiasschweizer]

If I understand correctly, the branch gh-pages contains the built docs as if they were conventional files under version control.

Your script builds the docs, switches the local branch to gh-pages, takes the current docs as the new version and pushes everything to gh-pages.

I assume that github pages is configured in a way that it pulls automatically whenever a new commit is pushed.

Ok, I understood that www.knora.org points to the current version of gh-pages branch :-)

[tobiasschweizer]

add a check that the current branch is develop:

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

http://stackoverflow.com/questions/1593051/how-to-programmatically-determine-the-current-checked-out-git-branch

[tobiasschweizer]

You are just deleting all the files. However, they remain under version control appearing as missing in git. I think you should use git rm. Imagine the case that someone removes a file from the docs. It will appear as missing in gh-pages although it is no longer under version control in the docs folder.