diff options
| -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 |
