diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-06-04 18:54:35 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 18:54:35 +0300 |
| commit | b37675607bebae26793bde730c51d582f7de7a30 (patch) | |
| tree | 79102c29d08cffd10060b87197d44971bb2b4624 | |
| parent | 84e9494f80d56ab33fa8f0abfcbcab61b7b7e6d7 (diff) | |
| parent | cb9dd0a0b47f4b5af6453d1b5e604774ab2076c5 (diff) | |
Merge pull request #7781 from brandonhoughton/patch-1
Fix reported dir when throwing ApplicationError
| -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 ' |