ci: Drop building the documentation (!3) · Merge requests · Philip Withnall / mogwai · GitLab

Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this wiki page for instructions on how to get full permissions. Sorry for the inconvenience.

Philip Withnall requested to merge no-docs into master Jun 22, 2018

The build system doesn’t actually support this yet.

Signed-off-by: Philip Withnall withnall@endlessm.com