michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix Guardfile

Browse source
This commit is contained in:
Fangyi Zhou 2019-07-18 08:27:36 +08:00 committed by Wen Kokke
parent 3a136bf1e4
commit 11b7494e63
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Guardfile
View file

@ -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