diff --git a/docs/GettingStarted.md b/docs/GettingStarted.md
index a8b67a47976e..5ad00232664d 100644
--- a/docs/GettingStarted.md
+++ b/docs/GettingStarted.md
@@ -107,6 +107,8 @@ To get something that runs fast, use `-DCMAKE_BUILD_TYPE=Release` or
 you want debug info to go with it.  `Release` mode makes a very large difference
 in performance.
 
+To use the verilog frontend add `-DCIRCT_SLANG_FRONTEND_ENABLED=ON`.
+
 If you plan to use the Python bindings, you should also specify
 `-DCIRCT_BINDINGS_PYTHON_ENABLED=ON`.