diff options
Diffstat (limited to 'doc/developer')
| -rw-r--r-- | doc/developer/topotests.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer/topotests.rst b/doc/developer/topotests.rst index 5077745a15..9e05a99474 100644 --- a/doc/developer/topotests.rst +++ b/doc/developer/topotests.rst @@ -881,7 +881,7 @@ commands: .. code:: console make topotests-build - TOPOTEST_PULL=0 make topotests + make topotests .. _topotests-guidelines: |