Update online documentation

Prerequisites

Outdated - needs update!

Folder structure

check out the following repositories in the same directory under the following names:

• core_elements (core_elements master branch)
• core_elements_ghpages (core_elements gh-pages branch) The script core_elements/tool/generate_docs.sh generates dartdoc in core_elements_ghpages/docs and expects that the directory core_elements_ghpages is a sibling of core_elements.

Update procedure

update dartdoc

cd core_elements
tool/generatedocs.sh
cd ../core_elements_ghpages
git add -A
git commit -m "update message"
git push origin gh-pages