Merge pull request #28 from realraum/doc-ci
authorChristian Pointner <equinox@spreadspace.org>
Sat, 7 Jul 2018 20:45:50 +0000 (22:45 +0200)
committerGitHub <noreply@github.com>
Sat, 7 Jul 2018 20:45:50 +0000 (22:45 +0200)
Add Travis CI build for the documentation


Trivial merge