From 9ffdd1df5ddab96274db66df0a11ac81bbd3e4fc Mon Sep 17 00:00:00 2001 From: "Martin A. Brown" Date: Fri, 26 Feb 2016 18:04:39 -0800 Subject: [PATCH] support SourceDocument as directory nam allow the driver to use the new feature of sources.py and SourceDocument, so user can refer to simply a directory as the document --- tldp/driver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tldp/driver.py b/tldp/driver.py index fd99d78..6e78753 100644 --- a/tldp/driver.py +++ b/tldp/driver.py @@ -72,7 +72,7 @@ def build(config, args): targets.extend(i.broken.values()) else: for arg in args: - if os.path.isfile(arg): + if os.path.isfile(arg) or os.path.isdir(arg): source = tldp.sources.SourceDocument(arg) targets.append(source) for source in targets: