jenkins-bot merged this change.

Approvals:
  Xqt: Looks good to me, approved
  jenkins-bot: Verified

[doc] Remove anchor duplicate to heading

Headings have their anchor generated automatically and in lowercase, therefore
the anchor on that place is redundant.

Bug: T187009
Change-Id: Idefba18818fd8416cc24ddbf73dd40dbc39d053e
---
M docs/installation.rst
1 file changed, 0 insertions(+), 2 deletions(-)

diff --git a/docs/installation.rst b/docs/installation.rst
index 9e24268..c2f98fb 100644
--- a/docs/installation.rst
+++ b/docs/installation.rst
@@ -1,7 +1,5 @@
 Installation
 ------------
 
-.. _installation:
-
 .. note::
    Please see the documentation at `Manual:Pywikibot/Installation <https://www.mediawiki.org/wiki/Manual:Pywikibot/Installation>`_

To view, visit change 509584. To unsubscribe, or for help writing mail filters, visit settings.