From 11b7494e63d89a2bc2e10195fe6dbb62fb0ed46b Mon Sep 17 00:00:00 2001
From: Fangyi Zhou <me@fangyi.io>
Date: Thu, 18 Jul 2019 08:27:36 +0800
Subject: [PATCH] Fix Guardfile

---
 Guardfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Guardfile b/Guardfile
index 745fe94a..60551972 100644
--- a/Guardfile
+++ b/Guardfile
@@ -1,9 +1,9 @@
 require 'fileutils'
 
 guard :shell do
-  watch(%r{^.+\.(lagda)$}) do |m|
+  watch(%r{^(.+)\.lagda\.md$}) do |m|
     src = m[0]
-    out = "#{File.dirname(src).sub('src','out')}/#{File.basename(src,'.*')}.md"
+    out = "#{File.dirname(src).sub('src','out')}/#{File.basename(src,'.lagda.md')}.md"
     `make #{out}` unless File.basename(src).start_with?('.#')
   end
 end