diff options
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 2 |
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> |