Merge branch 'master' of github.com:wenkokke/sf

.travis.yml

@@ -22,15 +22,6 @@ addons:
       - libgmp-dev
       - libicu-dev
 
-# Configure recipients for notifications
-notifications:
-  email:
-    recipients:
-    - wen.kokke@ed.ac.uk
-    - wadler@inf.ed.ac.uk
-    on_success: never
-    on_failure: always
-
 before_install:
 # Download and unpack the stack executable
 - mkdir -p ~/.local/bin

Makefile

@@ -33,10 +33,7 @@ endif
 # remove all generated files
 clobber: clean
 	ruby -S bundle exec jekyll clean
-ifneq ($(strip $(markdown)),)
+	rm -rf out/
-	rm $(markdown)
-endif
-	rmdir out/
 
 # install bundler, and gem dependencies
 macos-setup: