diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-08-06 11:58:05 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-08-08 08:04:57 +0200 |
commit | e21c413ec92f01455fb08026e2cf776033d45562 (patch) | |
tree | e6d796184984cfa5b870838b7a181a930ca569ac /user/support/support-commercial.rst | |
parent | user/exe: Add Device Tree section (diff) | |
download | rtems-docs-e21c413ec92f01455fb08026e2cf776033d45562.tar.bz2 |
user: Improve bug report section
The new content is based on the wiki page:
https://devel.rtems.org/wiki/Developer/Bug_Reporting
The goal is to remove the wiki page and direct the "New ticket" page to
this user manual section. Some content of the wiki page should move to
the "Contributing" sections since it is not directly related to bug
reporting, e.g. managing existing bugs.
Diffstat (limited to 'user/support/support-commercial.rst')
-rw-r--r-- | user/support/support-commercial.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/user/support/support-commercial.rst b/user/support/support-commercial.rst index d3aebaa..665426b 100644 --- a/user/support/support-commercial.rst +++ b/user/support/support-commercial.rst @@ -4,6 +4,8 @@ .. index:: support; commercial +.. _SupportCommercial: + Commercial Support Services *************************** |