X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2FMakefile;h=652cab792c00e24b787e82870a79d314eee5a1e6;hb=9259096da5e357bb9b789a33121da0df55d8adab;hp=7c67def91f8e4b1e618497caba1b733afc0765a3;hpb=1fb1ab5d53a09607e7f6d2450806760688396387;p=ghc-hetmet.git

diff --git a/ghc/docs/users_guide/Makefile b/ghc/docs/users_guide/Makefile
index 7c67def..652cab7 100644
--- a/ghc/docs/users_guide/Makefile
+++ b/ghc/docs/users_guide/Makefile
@@ -1,6 +1,11 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
-DOC_SRCS = profiling.lit user.lit
+DOC_SRCS = user.lit
+SRC_TEXI2HTML_OPTS += -number -monolithic -invisible xbm
+
+ifeq "$(BIN_DIST)" "1"
+install :: html dvi info
+endif
 
 include $(TOP)/mk/target.mk