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>`_
--
To view, visit
https://gerrit.wikimedia.org/r/509584
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Idefba18818fd8416cc24ddbf73dd40dbc39d053e
Gerrit-Change-Number: 509584
Gerrit-PatchSet: 3
Gerrit-Owner: Dvorapa <dvorapa(a)seznam.cz>
Gerrit-Reviewer: Dvorapa <dvorapa(a)seznam.cz>
Gerrit-Reviewer: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot (75)