diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-01-18 13:36:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-18 13:36:37 +0100 |
| commit | edfbf9448199d15f81eef1f011a4908665236ef7 (patch) | |
| tree | 2949b0f449b1a525e1df3eebd102d70985a09f2d /docs/dev | |
| parent | b972df255a76e043522c9e4f44cbbcaa6b34df41 (diff) | |
| parent | f910c0b3eec61eaa370afe283af6c64c6ba6004d (diff) | |
Merge pull request #782 from return42/fix-sh-issues
[fix] issues reported by and fix documentation of test.shell
Diffstat (limited to 'docs/dev')
| -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. |