summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual-common-tasks.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 2bcd7d01db..3357920d8f 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -2230,6 +2230,8 @@
2230 </para></listitem> 2230 </para></listitem>
2231 <listitem><para>Reduce the size of the kernel. 2231 <listitem><para>Reduce the size of the kernel.
2232 </para></listitem> 2232 </para></listitem>
2233 <listitem><para>Look for other ways to minimize size.
2234 </para></listitem>
2233 <listitem><para>Iterate on the process.</para></listitem> 2235 <listitem><para>Iterate on the process.</para></listitem>
2234 </itemizedlist> 2236 </itemizedlist>
2235 </para> 2237 </para>