Editing on GitHub

To modify the documentation on GitHub in the user interface. First, you can click on the icon at the top right of the page you want to edit. It will open GitHub to edit the source page associated. Then, you follow the instructions to fork the repo inside the interface.

Note that you can also check the source code by a clicking on the icon.

Tip

You can find some more precise instruction on how to use GitHub for editing files here .

Warning

By editing locally, you will not be able to preview your changes locally. So it is best for correcting typo, adding small paragraphs and when you have no doubt on how it will render after compilation.