summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2013-11-06 23:24:06 +0000
committerCarl Hetherington <cth@carlh.net>2013-11-06 23:24:06 +0000
commitb6d22a8fa1c2c238de6d7417b3f4f913bb54ad5c (patch)
tree0c3feb5d939e4d688187f47f6a85429e8a6eb744
parent7a21645569d1af8ad377e78454e8e3bc5df6d476 (diff)
Cope with file outputs from make_manual.
-rwxr-xr-xcdist9
1 files changed, 6 insertions, 3 deletions
diff --git a/cdist b/cdist
index 5f7548b..f2687b2 100755
--- a/cdist
+++ b/cdist
@@ -677,9 +677,12 @@ elif args.command == 'manual':
target = SourceTarget()
project.checkout(target)
- dirs = project.cscript['make_manual'](target)
- for d in dirs:
- copytree(d, '%s/%s' % (args.output, os.path.basename(d)))
+ outs = project.cscript['make_manual'](target)
+ for o in outs:
+ if os.path.isfile(o):
+ copyfile(o, '%s/%s' % (args.output, os.path.basename(o)))
+ else:
+ copytree(o, '%s/%s' % (args.output, os.path.basename(o)))
target.cleanup()