diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/dev-manual/dev-manual-model.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml index 838fc58922..ff44a3f68b 100644 --- a/documentation/dev-manual/dev-manual-model.xml +++ b/documentation/dev-manual/dev-manual-model.xml | |||
| @@ -632,7 +632,7 @@ | |||
| 632 | </para> | 632 | </para> |
| 633 | 633 | ||
| 634 | <para> | 634 | <para> |
| 635 | Three entry points exist that allow you develop using | 635 | Three entry points exist that allow you to develop using |
| 636 | <filename>devtool</filename>: | 636 | <filename>devtool</filename>: |
| 637 | <itemizedlist> | 637 | <itemizedlist> |
| 638 | <listitem><para><emphasis><filename>devtool add</filename></emphasis> | 638 | <listitem><para><emphasis><filename>devtool add</filename></emphasis> |