POST1=../../_posts/2016-08-18-redex-iswim.markdown
POST2=../../_posts/2016-08-18-redex-iswim-with-actors.markdown
POST3=../../_posts/2016-08-19-redex-iswim-actors-deterministic.markdown

all: $(POST1) $(POST2) $(POST3)

$(POST1): redex-iswim.rkt
	cat $< | ../../../literate-racket.py > $@

$(POST2): redex-iswim-with-actors.rkt
	cat $< | ../../../literate-racket.py > $@

$(POST3): redex-iswim-actors-deterministic.rkt
	cat $< | ../../../literate-racket.py > $@

clean:
	rm -f $(POST1) $(POST2) $(POST3)