From d11c805183092d6d0fc7454e333414aa3259e7c3 Mon Sep 17 00:00:00 2001 From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org> Date: Mon, 4 Dec 2023 08:18:15 +0100 Subject: [PATCH] Fix: do not add an existing version in the index --- updateIndex.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/updateIndex.py b/updateIndex.py index e71cc58..516ea0b 100644 --- a/updateIndex.py +++ b/updateIndex.py @@ -35,7 +35,8 @@ def updateIndex(args:argparse.Namespace) -> None: element_to_delete.decompose() else: print("Element not found.") - + elif soup.find('li', text=args.documentName): + print("'index.html' does already contain the entry") else: # Find document list # Assume there's a list (<ul>) with id "document-list" -- GitLab