diff options
| author | Austin Seipp <austin@well-typed.com> | 2015-06-10 16:43:23 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-06-10 16:43:45 -0500 |
| commit | ca39b96ee783e124909a89ea3ad366bf99defa7b (patch) | |
| tree | d9b37d045415d0f152257d1c786be99aa10e4271 /docs/users_guide/profiling.xml | |
| parent | 5828457d8d26fd33130d4b5850847c9a73a8d3e5 (diff) | |
| download | haskell-ca39b96ee783e124909a89ea3ad366bf99defa7b.tar.gz | |
docs: Fix #10416
This commit fixes #10416 by using an EPS-based file-format for embedding
images in the users guide, as opposed to a png. This is because 'latex'
in some distributions is actually 'pdflatex', which supports reading the
size of PNGs in DVI mode, while traditional latex does not.
Rather than fiddle with the build a whole bunch, it's easy and simple to
just convert the png into a eps file and embed that instead.
But apparently we already had an EPS file, added in
1cce2f51656cfbd8c7933a914a4bd981792aa1e6! But it was quite large, so
instead I used `convert` to shrink it down from 1.7MB to about 20kb, the
same size as the original PDF (by using level3 postscript, which is not
as wasteful.)
Signed-off-by: Austin Seipp <austin@well-typed.com>
Differential Revision: https://phabricator.haskell.org/D970
GHC Trac Issues: #10416
Diffstat (limited to 'docs/users_guide/profiling.xml')
| -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 4971a7d9f8..26d18a0cdf 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" contentwidth="645px" + <imagedata fileref="prof_scc.eps" contentwidth="645px" contentdepth="428px"/> <para>You might also want to take a look |