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

Fixed Makefile re: submodules

Browse source
This commit is contained in:
Wen Kokke 2018-06-02 19:36:53 +01:00
parent 70a5ef7cbf
commit ebbd1604b6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -1,5 +1,5 @@
agda := $(wildcard src/*.lagda)
agdai := $(wildcard src/*.agdai)
agda := $(wildcard src/*.lagda) $(wildcard src/**/*.lagda)
agdai := $(patsubst %.lagda,%.agdai,$(agda))
markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
all: bugfix $(markdown)