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 5d1682a6f3..a6820d6707 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
@@ -1508,7 +1508,8 @@ | |||
1508 | support development using actual hardware. | 1508 | support development using actual hardware. |
1509 | For example, the area might contain | 1509 | For example, the area might contain |
1510 | <filename>.hddimg</filename> files that combine the | 1510 | <filename>.hddimg</filename> files that combine the |
1511 | kernel image with the filesystem, boot loaders, etc. | 1511 | kernel image with the filesystem, boot loaders, and |
1512 | so forth. | ||
1512 | Be sure to get the files you need for your particular | 1513 | Be sure to get the files you need for your particular |
1513 | development process.</para> | 1514 | development process.</para> |
1514 | <para>If you are going to develop your application and | 1515 | <para>If you are going to develop your application and |