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 | |
| 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
| -rw-r--r-- | docs/users_guide/ghc.mk | 6 | ||||
| -rw-r--r-- | docs/users_guide/prof_scc.eps | bin | 1685125 -> 17580 bytes | |||
| -rw-r--r-- | docs/users_guide/prof_scc.png | bin | 16815 -> 0 bytes | |||
| -rw-r--r-- | docs/users_guide/profiling.xml | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk index 4737b5c302..eb7eb6a673 100644 --- a/docs/users_guide/ghc.mk +++ b/docs/users_guide/ghc.mk @@ -27,10 +27,10 @@ $(eval $(call docbook,docs/users_guide,users_guide)) $(eval $(call clean-target,docs/users_guide,gen,$(docs/users_guide_GENERATED_DOCBOOK_SOURCES))) -html_docs/users_guide : docs/users_guide/users_guide/prof_scc.png +html_docs/users_guide : docs/users_guide/users_guide/prof_scc.eps -docs/users_guide/users_guide/prof_scc.png : \ - docs/users_guide/prof_scc.png \ +docs/users_guide/users_guide/prof_scc.eps : \ + docs/users_guide/prof_scc.eps \ docs/users_guide/users_guide/index.html $(CP) $< $@ # dep. on d/u/u/index.html is to make sure that the d/u/u dir is created first diff --git a/docs/users_guide/prof_scc.eps b/docs/users_guide/prof_scc.eps Binary files differindex db6e8d05e5..beac36f498 100644 --- a/docs/users_guide/prof_scc.eps +++ b/docs/users_guide/prof_scc.eps diff --git a/docs/users_guide/prof_scc.png b/docs/users_guide/prof_scc.png Binary files differdeleted file mode 100644 index 5e4157d657..0000000000 --- a/docs/users_guide/prof_scc.png +++ /dev/null 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 |
