From 430cbdfd42c2bfd717c42568d10919ea27735869 Mon Sep 17 00:00:00 2001
From: Manos Pitsidianakis <manos@pitsidianak.is>
Date: Tue, 18 Jun 2024 17:42:26 +0300
Subject: [PATCH] scripts/make_html_manual_page.py: fix python errors

Signed-off-by: Manos Pitsidianakis <manos@pitsidianak.is>
---
 scripts/make_html_manual_page.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/make_html_manual_page.py b/scripts/make_html_manual_page.py
index 52a76aaa..41d76e52 100644
--- a/scripts/make_html_manual_page.py
+++ b/scripts/make_html_manual_page.py
@@ -252,7 +252,6 @@ if __name__ == "__main__":
     )
     parser.add_argument(
         "--no-css",
-        type=bool,
         help="don't prepend <style> element",
         required=False,
         action="store_true",
@@ -342,7 +341,7 @@ if __name__ == "__main__":
                         )
                         url_ = url.replace("%N", name).replace("%S", section)
                         try:
-                            got = give_me_head(url_, name, section)
+                            got = give_me_head(url_)
                             if got:
                                 link["href"] = got
                                 found = True