diff --git a/doc/buildweb.py b/doc/buildweb.py index bd5e1194..50092d7c 100755 --- a/doc/buildweb.py +++ b/doc/buildweb.py @@ -89,7 +89,7 @@ class Page(object): return "/".join([self.site.url, path]) def needed(self): - for f in "force --force -f": + for f in "force --force -f".split(): if f in sys.argv[1:]: return True