diff options
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 62f0ee4433..cbb003ba01 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml | |||
@@ -1945,7 +1945,7 @@ | |||
1945 | </section> | 1945 | </section> |
1946 | 1946 | ||
1947 | <section id='fine-tuning-the-kernel-configuration-file'> | 1947 | <section id='fine-tuning-the-kernel-configuration-file'> |
1948 | <title>Fine-tuning the Kernel Configuration File</title> | 1948 | <title>Fine-Tuning the Kernel Configuration File</title> |
1949 | 1949 | ||
1950 | <para> | 1950 | <para> |
1951 | You can make sure the <filename>.config</filename> file is as lean or efficient as | 1951 | You can make sure the <filename>.config</filename> file is as lean or efficient as |