diff options
Diffstat (limited to 'docs/users_guide/ghc.mk')
| -rw-r--r-- | docs/users_guide/ghc.mk | 6 |
1 files changed, 3 insertions, 3 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 |