完全に思いつきで、GitLabでドキュメントをgit管理してCIでビルドしてGitLab Pagesで表示する、というのをやってみました。 GitLabはGitHubみたいなサービスです。 （というかGitHubクローンで、以前はあまりにも似過ぎてたためになんか色々あったらしい、と…