From 9f5cb0eca988a9c6b9371e871336ee23f59a9d46 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 19 Jan 2014 17:49:28 +0100 Subject: [PATCH] docnames can also be None... --- sphinx/builders/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/builders/__init__.py b/sphinx/builders/__init__.py index f1280a0b2..17c9f51d7 100644 --- a/sphinx/builders/__init__.py +++ b/sphinx/builders/__init__.py @@ -268,7 +268,7 @@ class Builder(object): # filter "docnames" (list of outdated files) by the updated # found_docs of the environment; this will remove docs that # have since been removed - if docnames != ['__all__']: + if docnames and docnames != ['__all__']: docnames = set(docnames) & self.env.found_docs # another indirection to support builders that don't build