From cde292e24bf6e0f503d1dd7cd7f41e9db5c623fa Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Wed, 23 Mar 2022 13:43:18 -0700
Subject: [PATCH] Use the right files.

---
 docs/reference/mkref/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/reference/mkref/Makefile b/docs/reference/mkref/Makefile
index 513d881..e57dfa3 100644
--- a/docs/reference/mkref/Makefile
+++ b/docs/reference/mkref/Makefile
@@ -1,5 +1,4 @@
-NOT_US = Functor-Reference.md FORMAT-Functor-Reference.md HEADER.md
-FUNCDOCS = $(filter-out $(NOT_US),$(wildcard *.md))
+FUNCDOCS = $(wildcard ../*.md)
 
 
 all: Functor-Reference.md