mv docs doc
doc/.gitignore: ignore generated documentation
Merge branch 'master' of github.com:LukeShu/leager