From 707ccc2e782b359725308ebd8cbcc3f904a1b0d9 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 14 Feb 2020 08:06:52 +0100
Subject: Provide an index page for write-ups with more value

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3