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 /html-test/ref/Bug4.html | |
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 'html-test/ref/Bug4.html')
0 files changed, 0 insertions, 0 deletions