@@ -35,17 +35,6 @@ and some maintenance tasks (alternatively you can create your own fork).
35 $ git clone https://github.com/asciimoo/searx searx
35 $ git clone https://github.com/asciimoo/searx searx
36 $ cd searx
36 $ cd searx
40− The *tooling box* is not yet merged into `asciimoo/searx master
41− <https://github.com/asciimoo/searx>`_. As long as PR is not merged, you need
42− to merge the PR into your local clone (see below). The discussion takes
43− place in :pull:`1803`. To merge the :pull:`1803` in your local branch use:
47− $ git pull origin refs/pull/1803/head
49**Install** :ref:`searx service <searx.sh>`
38**Install** :ref:`searx service <searx.sh>`
51This installs searx as described in :ref:`installation basic`.
40This installs searx as described in :ref:`installation basic`.