updated the release process
diff --git a/doc/html_generated/main.html b/doc/html_generated/main.html
index f118749..852c5d7 100644
--- a/doc/html_generated/main.html
+++ b/doc/html_generated/main.html
@@ -33,7 +33,7 @@
int res = context.run(); // run
- if(context.shouldExit()) // important - query flags (and --no-run) rely on the user doing this
+ if(context.shouldExit()) // important - query flags (and --exit) rely on the user doing this
return res; // propagate the result of the tests
int client_stuff_return_code = 0;