diff --git a/Makefile b/Makefile
index 0115b716..b62f92e8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 agda := $(wildcard src/*.lagda) $(wildcard src/**/*.lagda)
-agdai := $(patsubst %.lagda,%.agdai,$(agda))
+agdai := $(wildcard src/*.agdai) $(wildcard src/**/*.agdai)
 markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
 
 all: bugfix $(markdown)