GitHub page

[woensug-choi]

This will port out GitHub embedded wiki page into a proper website using the GitHub pages feature. Related discussion months ago: https://trello.com/c/6errT29A/270-moving-wiki-docs

Currently, this webpage is orientated to use the forked address, Visit the following link to see how it is going to look like

https://woensug-choi.github.io/dave/

LINK TO LIVE DEMO

The main advantages of doing this are

• We can include document updates in PR to review with
• Search optimization for search engines (google), right now our project is almost unsearchable
• Google Analytics for visitor statistics (visit counts, regions, etc)

How it's working

• Markdown documents inside /docs/contents/ are being rendered

To do (AFTER MERGE)

• [x] Discuss whether we will migrate or not. If so, when?
• [ ] Discuss how we are going to host images (as an asset or a link)
• [ ] Fix images and document paths
• [ ] Add google analytics and apply search optimization
• [ ] Reorientate the webpage into Field-Robotics-Lab/dave. Not the fork.

[woensug-choi]

@j-herman I would like this merged for initial deployment (can't do much when it's in PR state) so that we can iterate to make it fully functional.

[woensug-choi]

I've found a way to deploy from the branch of this repo, not from the fork. https://github.com/Field-Robotics-Lab/dave/pull/234 will replace this PR