From d15913bfcf44791a6c7668482dbc85d0e9102bb5 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Sun, 19 May 2013 20:47:49 +0100
Subject: Use "cp -L" when making $(INPLACE_LIB)/latex too

---
 ghc.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc.mk b/ghc.mk
index 39a44fad..f5628350 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -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
 
-- 
cgit v1.2.3