04-08-2014, 10:00 PM
I'd vote for either a seperate repo that can have github pages turned on or as part of the existing website. The seperate repo is slightly harder to manage then a branch within the same repo but it is easier to use github pages with and it is worth putting the documentation online.