From 5c993964352d7a3e88a20438699a1a3c35f99e07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6nke=20Hahn?= <soenkehahn@gmail.com>
Date: Thu, 28 Jan 2016 12:27:49 +0100
Subject: [PATCH] tutorial: compile during CI

---
 doc/tutorial/check/check.sh  | 11 -----------
 doc/tutorial/check/tinc.yaml | 15 ---------------
 doc/tutorial/tinc.yaml       | 15 +++++++++++++++
 sources.txt                  |  1 +
 4 files changed, 16 insertions(+), 26 deletions(-)
 delete mode 100755 doc/tutorial/check/check.sh
 delete mode 100644 doc/tutorial/check/tinc.yaml
 create mode 100644 doc/tutorial/tinc.yaml

diff --git a/doc/tutorial/check/check.sh b/doc/tutorial/check/check.sh
deleted file mode 100755
index 5425d80a..00000000
--- a/doc/tutorial/check/check.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-
-set -o errexit
-
-# tinc
-
-cabal exec -- ghc -Wall -Werror -outputdir build-output ../api-type.lhs -O0 -c -pgmL markdown-unlit
-#cabal exec -- ghc -Wall -Werror -outputdir build-output ../server.lhs -O0 -c -fno-warn-missing-methods -fno-warn-name-shadowing
-#cabal exec -- ghc -Wall -Werror -outputdir build-output ../client.lhs -O0 -c -fno-warn-missing-methods -fno-warn-name-shadowing
-#cabal exec -- ghc -Wall -Werror -outputdir build-output ../javascript.lhs -O0 -c -fno-warn-missing-methods
-#cabal exec -- ghc -Wall -Werror -ibuild-output -outputdir build-output ../docs.lhs -O0 -c -fno-warn-missing-methods
diff --git a/doc/tutorial/check/tinc.yaml b/doc/tutorial/check/tinc.yaml
deleted file mode 100644
index 2a32c412..00000000
--- a/doc/tutorial/check/tinc.yaml
+++ /dev/null
@@ -1,15 +0,0 @@
-dependencies:
-  - name: servant
-    path: ../../../servant
-  - name: servant-server
-    path: ../../../servant-server
-  - name: servant-client
-    path: ../../../servant-client
-  - name: servant-js
-    path: ../../../servant-js
-  - name: servant-lucid
-    path: ../../../servant-lucid
-  - name: servant-docs
-    path: ../../../servant-docs
-  - name: servant-foreign
-    path: ../../../servant-foreign
diff --git a/doc/tutorial/tinc.yaml b/doc/tutorial/tinc.yaml
new file mode 100644
index 00000000..b2164752
--- /dev/null
+++ b/doc/tutorial/tinc.yaml
@@ -0,0 +1,15 @@
+dependencies:
+  - name: servant
+    path: ../../servant
+  - name: servant-server
+    path: ../../servant-server
+  - name: servant-client
+    path: ../../servant-client
+  - name: servant-js
+    path: ../../servant-js
+  - name: servant-lucid
+    path: ../../servant-lucid
+  - name: servant-docs
+    path: ../../servant-docs
+  - name: servant-foreign
+    path: ../../servant-foreign
diff --git a/sources.txt b/sources.txt
index 2d3f8107..2b2ca454 100644
--- a/sources.txt
+++ b/sources.txt
@@ -8,3 +8,4 @@ servant-server
 servant-blaze
 servant-lucid
 servant-mock
+doc/tutorial