diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-08-25 03:07:35 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-08-25 03:07:35 +0900 |
| commit | ea3d0b376844001e105a8b79b070a9eb455baf21 (patch) | |
| tree | 601102eb690d55a89fb1316654ca9fc92516d639 /sphinx/builders/manpage.py | |
| parent | e7e1ffe6dc69943f72f6172171f172dd2eda6e82 (diff) | |
| parent | d4bce1debd937291a9e12416a041598361572282 (diff) | |
| download | sphinx-git-ea3d0b376844001e105a8b79b070a9eb455baf21.tar.gz | |
Merge branch '1.7' into 1.8
Diffstat (limited to 'sphinx/builders/manpage.py')
| -rw-r--r-- | sphinx/builders/manpage.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sphinx/builders/manpage.py b/sphinx/builders/manpage.py index 32bd9950b..25287f2be 100644 --- a/sphinx/builders/manpage.py +++ b/sphinx/builders/manpage.py @@ -73,6 +73,10 @@ class ManualPageBuilder(Builder): for info in self.config.man_pages: docname, name, description, authors, section = info + if docname not in self.env.all_docs: + logger.warning(__('"man_pages" config value references unknown ' + 'document %s'), docname) + continue if isinstance(authors, string_types): if authors: authors = [authors] |