diff --git a/ghc/docs/libraries/Makefile b/ghc/docs/libraries/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..31275b8faace77bb1f8904e9cb52b708f6a06bf3
--- /dev/null
+++ b/ghc/docs/libraries/Makefile
@@ -0,0 +1,7 @@
+#-----------------------------------------------------------------------------
+# $Id: Makefile,v 1.1 1997/12/16 12:47:31 simonm Exp $
+
+TOP=../..
+include $(TOP)/mk/boilerplate.mk
+
+include $(TOP)/mk/target.mk