jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/509584 )

Change subject: [doc] Remove anchor duplicate to heading ......................................................................

[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(-)

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

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`_