From ced222eaa5505acae36c2a1e4ff9cddfa14657c7 Mon Sep 17 00:00:00 2001 From: Alexandre Aubin Date: Mon, 17 Jul 2023 19:09:04 +0200 Subject: [PATCH] doc: fix resource doc generation .. not sure why this line that removed legit indent was there --- doc/generate_resource_doc.py | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/generate_resource_doc.py b/doc/generate_resource_doc.py index 201d25265..30a5273a1 100644 --- a/doc/generate_resource_doc.py +++ b/doc/generate_resource_doc.py @@ -62,7 +62,6 @@ for c in ResourceClasses: for resource_id, doc in sorted(ResourceDocString.items()): - doc = doc.replace("\n ", "\n") print("----------------") print("")