IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

docnames can also be None...

Browse Source
This commit is contained in:
Georg Brandl 2014-01-19 17:49:28 +01:00
parent bc614bcd93
commit 9f5cb0eca9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sphinx/builders/__init__.py
View File

@ -268,7 +268,7 @@ class Builder(object):
# filter "docnames" (list of outdated files) by the updated # filter "docnames" (list of outdated files) by the updated
# found_docs of the environment; this will remove docs that # found_docs of the environment; this will remove docs that
# have since been removed # have since been removed
if docnames != ['__all__']: if docnames and docnames != ['__all__']:
docnames = set(docnames) & self.env.found_docs docnames = set(docnames) & self.env.found_docs
# another indirection to support builders that don't build # another indirection to support builders that don't build