diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-model.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml index 11c3a12bcc..15f0a44b11 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
| @@ -1209,7 +1209,8 @@ | |||
| 1209 | <para> | 1209 | <para> |
| 1210 | To start the QEMU emulator from within Eclipse, follow these steps: | 1210 | To start the QEMU emulator from within Eclipse, follow these steps: |
| 1211 | <orderedlist> | 1211 | <orderedlist> |
| 1212 | <listitem><para>Expose the <filename>Run -> External Tools</filename> menu. | 1212 | <listitem><para>Expose and select "External Tools" from |
| 1213 | the "Run" menu. | ||
| 1213 | Your image should appear as a selectable menu item. | 1214 | Your image should appear as a selectable menu item. |
| 1214 | </para></listitem> | 1215 | </para></listitem> |
| 1215 | <listitem><para>Select your image from the menu to launch the | 1216 | <listitem><para>Select your image from the menu to launch the |