summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual-model.xml2
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 dc1ff57db1..9f3811717a 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -1259,7 +1259,7 @@
1259 clean a recipe or have <filename>rm_work</filename> enabled, 1259 clean a recipe or have <filename>rm_work</filename> enabled,
1260 the workflow described in the 1260 the workflow described in the
1261 "<link linkend='using-devtool-in-your-workflow'>Using <filename>devtool</filename> in Your Workflow</link>" 1261 "<link linkend='using-devtool-in-your-workflow'>Using <filename>devtool</filename> in Your Workflow</link>"
1262 section is a safer development flow than than the flow that 1262 section is a safer development flow than the flow that
1263 uses Quilt. 1263 uses Quilt.
1264 </note> 1264 </note>
1265 </para> 1265 </para>