aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-05-19 20:47:49 +0100
committerIan Lynagh <ian@well-typed.com>2013-05-19 20:47:49 +0100
commitd15913bfcf44791a6c7668482dbc85d0e9102bb5 (patch)
tree8aeab54aefb6651883f95e66eba3dd55ca2c3062 /doc
parent74c66f5e30f9bb28cf45809958201680b186aeb0 (diff)
Use "cp -L" when making $(INPLACE_LIB)/latex too
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions