From 92b08869b2403b4091e7081e1001a33fd5f9c68b Mon Sep 17 00:00:00 2001
From: Stephan Witt <switt@lyx.org>
Date: Wed, 22 Jul 2015 06:37:52 +0200
Subject: [PATCH] preserve symlinks on copying of user directory from previous
 version

---
 lib/configure.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/configure.py b/lib/configure.py
index 93ed5fd63c..1554ee5ae8 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -166,7 +166,7 @@ def checkUpgrade():
             logger.debug('previous = ' + previous)
             if os.path.isdir( previous ):
                 logger.info('Found directory "%s".', previous)
-                copy_tree( previous, cwd )
+                copy_tree( previous, cwd, true )
                 logger.info('Content copied to directory "%s".', cwd)
                 return