1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 3d96f5e..807cb27 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-ORG_POSTS  := $(wildcard site/posts/*.org)
-COQ_POSTS  := $(wildcard site/posts/*.v)
+ORG_POSTS  := $(shell find site/ -name "*.org")
+COQ_POSTS  := $(shell find site/ -name "*.v")
 POSTS      := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html)
 
 COQCARGS   := -async-proofs-cache force