diff options
Diffstat (limited to 'sphinx/util/fileutil.py')
| -rw-r--r-- | sphinx/util/fileutil.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/fileutil.py b/sphinx/util/fileutil.py index 7dc376807..e6e851f92 100644 --- a/sphinx/util/fileutil.py +++ b/sphinx/util/fileutil.py @@ -39,7 +39,7 @@ def copy_asset_file(source, destination, context=None, renderer=None): if not os.path.exists(source): return - if os.path.exists(destination) and os.path.isdir(destination): + if os.path.isdir(destination): # Use source filename if destination points a directory destination = os.path.join(destination, os.path.basename(source)) |