diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index dc1ff57db1..9f3811717a 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -1259,7 +1259,7 @@
                 clean a recipe or have <filename>rm_work</filename> enabled,
                 the workflow described in the
                 "<link linkend='using-devtool-in-your-workflow'>Using <filename>devtool</filename> in Your Workflow</link>"
-                section is a safer development flow than than the flow that
+                section is a safer development flow than the flow that
                 uses Quilt.
             </note>
         </para>