diff --git a/scripts/dev/src2asciidoc.py b/scripts/dev/src2asciidoc.py
index c7b620488..75a0d6b61 100755
--- a/scripts/dev/src2asciidoc.py
+++ b/scripts/dev/src2asciidoc.py
@@ -390,7 +390,8 @@ def _generate_setting_section(f, sectname, sect):
         else:
             f.write("Default: empty\n")
 
-        if option.backends is None:
+        if (option.backends is None or
+                (sectname, optname) == ('network', 'proxy')):
             pass
         elif option.backends == [usertypes.Backend.QtWebKit]:
             f.write("\nThis setting is only available with the QtWebKit "