From 3d33217fa49e2917b0fdcf9e1e91603d041827c3 Mon Sep 17 00:00:00 2001 From: laborg Date: Tue, 23 Oct 2018 14:39:47 +0200 Subject: [PATCH] Fix doctest execution in README (#29778) The information on how to run doctests in `doc/README.md` wasn't correct. I replaced it with what I found in `CONTRIBUTING.md`. --- doc/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.