summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/users_guide/Makefile14
-rw-r--r--ghc.mk1
2 files changed, 2 insertions, 13 deletions
diff --git a/docs/users_guide/Makefile b/docs/users_guide/Makefile
index 86504b361c..603a670662 100644
--- a/docs/users_guide/Makefile
+++ b/docs/users_guide/Makefile
@@ -1,13 +1,3 @@
+dir = docs/users_guide
TOP = ../..
-include $(TOP)/mk/boilerplate.mk
-
-XML_DOC = users_guide
-INSTALL_XML_DOC = users_guide
-
-include $(TOP)/mk/bindist.mk
-
-include $(TOP)/mk/target.mk
-
-html::
- cp prof_scc.png users_guide/
-
+include $(TOP)/mk/sub-makefile.mk
diff --git a/ghc.mk b/ghc.mk
index 5961ae3460..c30cd2f8c0 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -38,7 +38,6 @@
# * docs/ext-core/Makefile
# * docs/man/Makefile
# * docs/storage-mgmt/Makefile
-# * docs/users_guide/Makefile
# * docs/vh/Makefile
# * driver/Makefile
# * driver/ghc/Makefile