From 84daf9999c9b52bf0b938725755a871aa359c62c Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Sat, 4 Apr 2020 08:36:48 +0200 Subject: [PATCH] docs: remove PR #1803 hints Signed-off-by: Markus Heiser --- docs/admin/installation.rst | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/docs/admin/installation.rst b/docs/admin/installation.rst index 25d7f0ea..ac17c326 100644 --- a/docs/admin/installation.rst +++ b/docs/admin/installation.rst @@ -35,17 +35,6 @@ and some maintenance tasks (alternatively you can create your own fork). $ git clone https://github.com/asciimoo/searx searx $ cd searx -.. hint:: - - The *tooling box* is not yet merged into `asciimoo/searx master - `_. As long as PR is not merged, you need - to merge the PR into your local clone (see below). The discussion takes - place in :pull:`1803`. To merge the :pull:`1803` in your local branch use: - - .. code:: bash - - $ git pull origin refs/pull/1803/head - **Install** :ref:`searx service ` This installs searx as described in :ref:`installation basic`.