diff options
| author | Emmanuel Gil Peyrot <[email protected]> | 2019-01-27 21:46:56 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2019-01-31 14:31:48 +0000 |
| commit | 0d4dd59ae547fdb0a2d88e84d52fbf69f6d95471 (patch) | |
| tree | c93580ada665bf8e5fa071f61776015ca0f24c5f /docs/contents.html | |
| parent | 9279a28f07fd65fa94831f7f9fb80b35921f6805 (diff) | |
docs: make bugs.html easier to find
Thanks to Yann Kervran for the report and suggestions.
Signed-off-by: Emmanuel Gil Peyrot <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Eric Anholt <[email protected]>
Diffstat (limited to 'docs/contents.html')
| -rw-r--r-- | docs/contents.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/contents.html b/docs/contents.html index 9a86019e2f6..63647766bce 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -49,10 +49,10 @@ <li><a href="precompiled.html" target="_parent">Precompiled Libraries</a> </ul> -<b>Resources</b> +<b>Need help?</b> <ul> <li><a href="lists.html" target="_parent">Mailing Lists</a> -<li><a href="bugs.html" target="_parent">Bug Database</a> +<li><a href="bugs.html" target="_parent">Report a bug</a> <li><a href="webmaster.html" target="_parent">Webmaster</a> <li><a href="https://dri.freedesktop.org/" target="_parent">Mesa/DRI Wiki</a> </ul> |