diff options
Diffstat (limited to 'docs/dev/makefile.rst')
| -rw-r--r-- | docs/dev/makefile.rst | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/docs/dev/makefile.rst b/docs/dev/makefile.rst index a66ce2f22..4781b2ce6 100644 --- a/docs/dev/makefile.rst +++ b/docs/dev/makefile.rst @@ -362,17 +362,6 @@ can be used to convenient run common build tasks of the static files. .. program-output:: bash -c "cd ..; ./manage static.help" -.. _manage redis.help: - -``./manage redis.help`` -======================= - -The ``./manage redis.*`` command line can be used to convenient run common Redis -tasks (:ref:`Redis developer notes`). - -.. program-output:: bash -c "cd ..; ./manage redis.help" - - .. _manage go.help: ``./manage go.help`` |