diff options
author | Austin Seipp <austin@well-typed.com> | 2015-06-08 20:39:46 -0500 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2015-06-08 20:40:06 -0500 |
commit | 7944a68f0a91033f50c5d0c56e923948bba30be1 (patch) | |
tree | a64cf939dede7836f522d9d1edd224bb5f3654e7 | |
parent | 19ec6a84d6344c2808d0d41da11956689a0e4ae9 (diff) | |
download | haskell-7944a68f0a91033f50c5d0c56e923948bba30be1.tar.gz |
Revert "docs: Fix #10416"
This causes the buildbots and other users to choke when building the
user documentation, but I haven't figured out why.
This reverts commit dcaaa980dc59202744bb3888d9662f9a7558cdf6.
-rw-r--r-- | docs/users_guide/profiling.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml index 84f96b11eb..4971a7d9f8 100644 --- a/docs/users_guide/profiling.xml +++ b/docs/users_guide/profiling.xml @@ -625,7 +625,7 @@ MAIN MAIN 102 0 0.0 0.0 100.0 1 other than making the PS file generation work, rather than falling over. The result seems to be broken PS on the page with the image. --> - <imagedata fileref="prof_scc.png" contentwidth="645px" + <imagedata fileref="prof_scc" contentwidth="645px" contentdepth="428px"/> <para>You might also want to take a look |