Revert ""Adding exporters" section removed"

Elise-Kaminski · Elise-Kaminski · commit a24d6af750ff · 2023-02-08T08:59:08.000Z
This reverts commit 1e5c8eb.
diff --git a/docs.json b/docs.json
@@ -1413,6 +1413,9 @@
                         {
                             "path": "docs/porting/tools/mbedls.md"
                         },
+                        {
+                            "path": "docs/porting/tools/exporter.md"
+                        },
                         {
                             "path": "docs/porting/tools/hdk.md"
                         }
diff --git a/docs/porting/tools/exporter.md b/docs/porting/tools/exporter.md
diff --git a/docs/porting/tools/tools.md b/docs/porting/tools/tools.md
@@ -1,3 +1,3 @@
 <h1 id="contributing-tools">Tools</h1>
 
-This section describes the tools modifications you need to make when adding a new target to Mbed OS and when making other tools contributions. When adding a new target to Mbed OS, you must [add a new target to Mbed-ls](mbed-ls.html), and you may need to [add a postbuild script to the build tools](build-tools.html). Further, this section includes instructions on [contributing to the Mbed HDK](arm-mbed-hdk.html).
+This section describes the tools modifications you need to make when adding a new target to Mbed OS and when making other tools contributions. When adding a new target to Mbed OS, you must [add a new target to Mbed-ls](mbed-ls.html), and you may need to [add a postbuild script to the build tools](build-tools.html). Further, this section includes instructions on [adding an exporter](adding-exporters.html) and [contributing to the Mbed HDK](arm-mbed-hdk.html).

Original file line number	Diff line number	Diff line change
`@@ -1413,6 +1413,9 @@`
`1413`	`1413`	`{`
`1414`	`1414`	`"path": "docs/porting/tools/mbedls.md"`
`1415`	`1415`	`},`
	`1416`	`+ {`
	`1417`	`+ "path": "docs/porting/tools/exporter.md"`
	`1418`	`+ },`
`1416`	`1419`	`{`
`1417`	`1420`	`"path": "docs/porting/tools/hdk.md"`
`1418`	`1421`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`<h1 id="contributing-tools">Tools</h1>`
`2`	`2`
`3`		`-This section describes the tools modifications you need to make when adding a new target to Mbed OS and when making other tools contributions. When adding a new target to Mbed OS, you must [add a new target to Mbed-ls](mbed-ls.html), and you may need to [add a postbuild script to the build tools](build-tools.html). Further, this section includes instructions on [contributing to the Mbed HDK](arm-mbed-hdk.html).`
	`3`	`+This section describes the tools modifications you need to make when adding a new target to Mbed OS and when making other tools contributions. When adding a new target to Mbed OS, you must [add a new target to Mbed-ls](mbed-ls.html), and you may need to [add a postbuild script to the build tools](build-tools.html). Further, this section includes instructions on [adding an exporter](adding-exporters.html) and [contributing to the Mbed HDK](arm-mbed-hdk.html).`