Docs: plugins.md instead of plugins.html technically (#5345)

This commit is contained in:
Benjamin J DeLong 2017-02-18 10:15:39 -04:00 committed by Iván Sánchez Ortega
parent 893ebf5613
commit b11910abc0

View File

@ -154,7 +154,7 @@ and is automatically generated from a set of HTML and Markdown files by [Jekyll]
The easiest way to make little improvements such as fixing typos without even leaving the browser The easiest way to make little improvements such as fixing typos without even leaving the browser
is by editing one of the files with the online GitHub editor: is by editing one of the files with the online GitHub editor:
browse the [`docs/ directory`](https://github.com/Leaflet/Leaflet/tree/master/docs), browse the [`docs/ directory`](https://github.com/Leaflet/Leaflet/tree/master/docs),
choose a certain file for editing (e.g. `plugins.html` for the list of Leaflet plugins), choose a certain file for editing (e.g. `plugins.md` for the list of Leaflet plugins),
click the Edit button, make changes and follow instructions from there. click the Edit button, make changes and follow instructions from there.
Once it gets merged, the changes will immediately appear on the website. Once it gets merged, the changes will immediately appear on the website.