diff options
-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> |