diff options
| author | Erik Faye-Lund <[email protected]> | 2020-06-27 10:00:10 +0200 |
|---|---|---|
| committer | Marge Bot <[email protected]> | 2020-06-28 09:06:57 +0000 |
| commit | b1c16e52514fd9e66d3ac118f1ec32a83cbc5f2a (patch) | |
| tree | a641fd181f68e65d7c1a581587f6db379857189c /docs/repository.rst | |
| parent | 5ee55b206af1a2eaf5ad23c8b8833c6fc49a96ea (diff) | |
docs: use ref-links for internal references
Ref-link have two benefits over generic links:
1. They produce the right result for non-HTML outputs
2. They get validated at build-time
So let's use them for internal references instead.
Reviewed-by: Eric Engestrom <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5671>
Diffstat (limited to 'docs/repository.rst')
| -rw-r--r-- | docs/repository.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/repository.rst b/docs/repository.rst index aa812345d55..8172793009a 100644 --- a/docs/repository.rst +++ b/docs/repository.rst @@ -7,8 +7,8 @@ system. The master git repository is hosted on `freedesktop.org <https://www.freedesktop.org>`__. -You may access the repository either as an `anonymous -user <#anonymous>`__ (read-only) or as a `developer <#developer>`__ +You may access the repository either as an :ref:`anonymous +user <anonymous>` (read-only) or as a :ref:`developer <developer>` (read/write). You may also `browse the main Mesa git |