From 6e0dbdb7840395fc0f6d2ab4be411f5f12df73dc Mon Sep 17 00:00:00 2001 From: Charles Beauville Date: Tue, 9 Apr 2024 11:38:26 +0200 Subject: [PATCH] Remove doc folder from `flwr example` cli (#3239) --- src/py/flwr/cli/example.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/py/flwr/cli/example.py b/src/py/flwr/cli/example.py index 625ca8729640..4790e72d48bf 100644 --- a/src/py/flwr/cli/example.py +++ b/src/py/flwr/cli/example.py @@ -39,7 +39,9 @@ def example() -> None: with urllib.request.urlopen(examples_directory_url) as res: data = json.load(res) example_names = [ - item["path"] for item in data["tree"] if item["path"] not in [".gitignore"] + item["path"] + for item in data["tree"] + if item["path"] not in [".gitignore", "doc"] ] example_name = prompt_options(