diff options
| -rw-r--r-- | docs/dev/makefile.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/dev/makefile.rst b/docs/dev/makefile.rst index 8c9058c34..8e9de7882 100644 --- a/docs/dev/makefile.rst +++ b/docs/dev/makefile.rst @@ -238,10 +238,10 @@ and ``test.robot``. You can run tests selective, e.g.:: ... TEST test.sh OK -.. _make test.sh: +.. _make test.shell: -``make test.sh`` -================ +``make test.shell`` +=================== :ref:`sh lint` / if you have changed some bash scripting run this test before commit. |