Auto commit from doc editor
Auto commit from doc editor
Auto commit from doc editor
Merge branch 'gh-pages' of github.com:c2is/BigfootDoc into gh-pages

Conflicts:
	html/en/index.html