diff --git a/tools/generate_doc_confpy.py b/tools/generate_doc_confpy.py index ce29a8dc..ffd2eb6b 100644 --- a/tools/generate_doc_confpy.py +++ b/tools/generate_doc_confpy.py @@ -205,9 +205,10 @@ def process_repositories(args, service): repo_to.index.add(pathlib.Path(copy_path, "index.rst")) placeholder_path = pathlib.Path(copy_path, "_static") - if not placeholder_path.exists(): + if not pathlib.Path(placeholder_path, "placeholder").exists(): placeholder_path.mkdir(parents=True, exist_ok=True) - open(pathlib.Path(placeholder_path, ".placeholder"), 'a').close() + open(pathlib.Path(placeholder_path, "placeholder"), 'a').close() + repo_to.index.add(pathlib.Path(placeholder_path, "placeholder")) if args.update_tox: context = dict(docs=[])