stub makefile

diff --git a/docs/users_guide/Makefile b/docs/users_guide/Makefile
index 86504b3..603a670 100644 (file)
--- a/docs/users_guide/Makefile
+++ b/docs/users_guide/Makefile
@@ -1,13 +1,3 @@
+dir = docs/users_guide

 TOP = ../..
 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 5961ae3..c30cd2f 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -38,7 +38,6 @@
 #     * docs/ext-core/Makefile
 #     * docs/man/Makefile
 #     * docs/storage-mgmt/Makefile
 #     * docs/ext-core/Makefile
 #     * docs/man/Makefile
 #     * docs/storage-mgmt/Makefile

-#     * docs/users_guide/Makefile

 #     * docs/vh/Makefile
 #     * driver/Makefile
 #     * driver/ghc/Makefile
 #     * docs/vh/Makefile
 #     * driver/Makefile
 #     * driver/ghc/Makefile