diff --git a/docs/proposed/Makefile b/docs/proposed/Makefile
index 1c314640b9..7f5254fab7 100644
--- a/docs/proposed/Makefile
+++ b/docs/proposed/Makefile
@@ -3,6 +3,7 @@ PANDOC = pandoc
 default: all
 
 all_markdown = \
+	       config-split.md \
 	       psa-conditional-inclusion-c.md \
 	       psa-driver-developer-guide.md \
 	       psa-driver-integration-guide.md \