Use the right files.

diff --git a/docs/reference/mkref/Makefile b/docs/reference/mkref/Makefile
index 513d881..e57dfa3 100644 (file)
--- 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