X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2FMakefile;h=f0a31fb7058ddb49591286a8b5ce2e51008c84d0;hb=72a42bd77936ad0edd7426a33b323e60323e9684;hp=da031a072c0e58c72581ff6a9ffe98e0286138e7;hpb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;p=ghc-hetmet.git

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index da031a0..f0a31fb 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,10 +1,7 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-ifeq "$(BIN_DIST)" "1"
-install :: html dvi info
-endif
-
-SGML_DOC = users_guide
+XML_DOC = users_guide
+INSTALL_XML_DOC = users_guide
 
 include $(TOP)/mk/target.mk