diff options
author | Brandon Houghton <bhoughton@cmu.edu> | 2020-06-03 22:33:58 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-03 22:33:58 +0300 |
commit | cb9dd0a0b47f4b5af6453d1b5e604774ab2076c5 (patch) | |
tree | 79102c29d08cffd10060b87197d44971bb2b4624 | |
parent | 84e9494f80d56ab33fa8f0abfcbcab61b7b7e6d7 (diff) |
Fix reported dir when throwing ApplicationError
if path.exists(self.outdir) and not path.isdir(self.outdir), error reported self.srcdir which should be self.outdir
-rw-r--r-- | sphinx/application.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/application.py b/sphinx/application.py index bd23c86e7..d84a2c975 100644 --- a/sphinx/application.py +++ b/sphinx/application.py @@ -165,7 +165,7 @@ class Sphinx: if path.exists(self.outdir) and not path.isdir(self.outdir): raise ApplicationError(__('Output directory (%s) is not a directory') % - self.srcdir) + self.outdir) if self.srcdir == self.outdir: raise ApplicationError(__('Source directory and destination ' |