diff options
-rw-r--r-- | docs/users_guide/Makefile | 14 | ||||
-rw-r--r-- | ghc.mk | 1 |
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 @@ -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 |