diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-05-19 20:47:49 +0100 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-05-19 20:47:49 +0100 |
| commit | d15913bfcf44791a6c7668482dbc85d0e9102bb5 (patch) | |
| tree | 8aeab54aefb6651883f95e66eba3dd55ca2c3062 | |
| parent | 74c66f5e30f9bb28cf45809958201680b186aeb0 (diff) | |
Use "cp -L" when making $(INPLACE_LIB)/latex too
| -rw-r--r-- | ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,7 +24,7 @@ $(INPLACE_LIB)/html: $(INPLACE_LIB)/latex: $(call removeTrees,$@) - "$(CP)" -R utils/haddock/resources/latex $@ + "$(CP)" -RL utils/haddock/resources/latex $@ endif |