From 0d6263c9b5db9f0b17e8b66ba7c7de44599ab356 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Mon, 5 Sep 2022 15:27:52 -0400 Subject: [PATCH] chore: drop extra print --- contrib/write-mkdocs | 1 - 1 file changed, 1 deletion(-) diff --git a/contrib/write-mkdocs b/contrib/write-mkdocs index dd2458371..084afd7a0 100644 --- a/contrib/write-mkdocs +++ b/contrib/write-mkdocs @@ -60,7 +60,6 @@ def generate_nav(src, dest): if len(navigation) == 0: print("No navigation found") sys.exit(1) - print(navigation) with open(src) as f: data = yaml.unsafe_load(f)