diff options
| author | Andreas Voellmy <andreas.voellmy@gmail.com> | 2013-05-02 10:33:01 -0400 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-05-19 20:47:39 +0100 |
| commit | 74c66f5e30f9bb28cf45809958201680b186aeb0 (patch) | |
| tree | 834cf753596fc978a572567aecd221ab9c7d8cf8 /resources/html/Classic.theme/plus.gif | |
| parent | b6ef14069677c79f85cfdce7b5d69b06ca35f8b5 (diff) | |
Fix for #7879.
Changed copy of utils/haddock/html/resources/html to use "cp -RL" rather than "cp -R". This allows users to run validate in a build tree, where the build tree was setup using lndir with a relative path to the source directory.
Diffstat (limited to 'resources/html/Classic.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions