diff --git a/scripts/generate_manpage.py b/scripts/generate_manpage.py index 5655dbdbe..06e0e492c 100644 --- a/scripts/generate_manpage.py +++ b/scripts/generate_manpage.py @@ -19,6 +19,7 @@ import os import sys +import cgi import inspect sys.path.insert(0, os.getcwd()) @@ -214,7 +215,8 @@ def generate_settings(): print(" * +{}+".format(val)) print() if option.default: - print("Default: +pass:[{}]+".format(option.default)) + print("Default: +pass:[{}]+".format(cgi.escape( + option.default))) else: print("Default: empty")