From 12d141a2f6084c4ad04debbe52c9152a0150086e Mon Sep 17 00:00:00 2001
From: fliiiix <hi@l33t.name>
Date: Fri, 10 Nov 2023 09:46:24 +0100
Subject: [PATCH] Complet the list of Python options

---
 docs/source/Compiler.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/source/Compiler.md b/docs/source/Compiler.md
index 4d5daf41cc7..ff71378b526 100644
--- a/docs/source/Compiler.md
+++ b/docs/source/Compiler.md
@@ -233,5 +233,10 @@ Additional options:
     vector of bytes in JSON, which is unsafe unless checked by a verifier
     afterwards.
 
+-   `--python-no-type-prefix-suffix` : Skip emission of Python functions that are prefixed
+    with typenames
+
+-   `--python-typing` : Generate Python type annotations
+
 NOTE: short-form options for generators are deprecated, use the long form
 whenever possible.