Make the tutorial to compile again

- Remove generated documentation leaving only documentation sources.
- Add CI job checking that the tutorial is up to date.

1 files changed, 4 insertions, 0 deletions

diff --git a/semaphoreci.sh b/semaphoreci.sh
index 09f7aa7..f77ac75 100755
--- a/semaphoreci.sh
+++ b/semaphoreci.sh
@@ -18,6 +18,10 @@ test() {
 	$STACK --no-terminal test --pedantic
 }
 
+test_docs() {
+	$STACK --no-terminal ghc -- -Wall -fno-code docs/tutorial/tutorial.lhs
+}
+
 setup_lint() {
 	$STACK --no-terminal install hlint
 }