webber.py: make it exclude_dirs (plural), not exclude_dir

diff --git a/in/webber.conf b/in/webber.conf
index ec221355df0b0e9351f4c51105939093556dc34a..675db98515f1d116d0f10f2e3da4ff8e99109ca5 100644 (file)
--- a/in/webber.conf
+++ b/in/webber.conf
@@ -16,7 +16,7 @@ plugins: [
        "google_sitemap",
        "toc",
        ]
-exclude_dir: [
+exclude_dirs: [
        ]
 exclude_files: [
        "webber.conf",

diff --git a/webber.py b/webber.py
index 22e18428a1c587ef0f9515b7c06c2db51f8dd811..643aa25a1eef34c149c7359dfd1a77e88b5e2636 100644 (file)
--- a/webber.py
+++ b/webber.py
@@ -519,7 +519,7 @@ def walk_tree(dirpath):
                        full_path = os.path.join(dirpath, s)
                        ok = True
                        if os.path.isdir(full_path):
-                               for e in cfg.exclude_dir:
+                               for e in cfg.exclude_dirs:
                                        if fnmatch.fnmatchcase(s, e):
                                                log("ignoring directory %s" % s, level=7)
                                                ok = False