From 3d1c5359a32375867deb6cb4237c9063b238d718 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Sun, 29 Apr 2018 14:19:40 -0600 Subject: [PATCH] .ci: adding file for describing website generation for git-ci --- .ci | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .ci diff --git a/.ci b/.ci new file mode 100644 index 000000000..2d81ac335 --- /dev/null +++ b/.ci @@ -0,0 +1,3 @@ +[test "website"] + command = ./Shake.hs && ./Shake Clean && ./Shake website + trackedFiles = site/_site