diff --git a/doc/README.md b/doc/README.md
index 19a732f8800ba..64ef053a2e237 100644
--- a/doc/README.md
+++ b/doc/README.md
@@ -23,7 +23,7 @@ from the root directory. This will build the HTML documentation and output it to
 To run the doctests found in the manual run
 
 ```sh
-$ make -C doc check
+$ make -C doc doctest=true
 ```
 
 from the root directory.