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;