Make some profiling flags dynamic

[ghc-hetmet.git] / docs / users_guide / Makefile

diff --git a/docs/users_guide/Makefile b/docs/users_guide/Makefile
index 1a370d5..86504b3 100644 (file)
--- a/docs/users_guide/Makefile
+++ b/docs/users_guide/Makefile
@@ -4,7 +4,10 @@ include $(TOP)/mk/boilerplate.mk
 XML_DOC = users_guide
 INSTALL_XML_DOC = users_guide
 
-binary-dist:
-       @:
+include $(TOP)/mk/bindist.mk
 
 include $(TOP)/mk/target.mk
+
+html::
+       cp prof_scc.png users_guide/
+