documentation/python: expose pybind enum value values as str, not int.

The template apparently doesn't care, but calling html.escape() on that
thing is an error.

diff --git a/documentation/python.py b/documentation/python.py
index 34302d98995be07dc57e375ee9fafe75d1f6e271..2e10ca7d81ab20859a69300b04ad59a18ff0d16d 100755 (executable)
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -1467,7 +1467,7 @@ def extract_enum_doc(state: State, entry: Empty):
             value = Empty()
             value. name = name
             value.id = state.config['ID_FORMATTER'](EntryType.ENUM_VALUE, entry.path[-1:] + [name])
-            value.value = int(v)
+            value.value = str(int(v))
             value.content = ''
             out.values += [value]