diff --git a/doc/advopt.txt b/doc/advopt.txt
index 133a854c9d..c944ffb5f9 100644
--- a/doc/advopt.txt
+++ b/doc/advopt.txt
@@ -9,7 +9,6 @@ Advanced commands:
   //jsondoc                 extract the documentation to a json file
   //ctags                   create a tags file
   //buildIndex              build an index for the whole documentation
-  //run                     run the project (with Tiny C backend; buggy!)
   //genDepend               generate a DOT file containing the
                           module dependency graph
   //dump                    dump all defined conditionals and search paths