diff options
Diffstat (limited to 'documentation/dev-manual/dev-manual-model.xml')
-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 @@ </para> <para> - Three entry points exist that allow you develop using + Three entry points exist that allow you to develop using <filename>devtool</filename>: <itemizedlist> <listitem><para><emphasis><filename>devtool add</filename></emphasis> |