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