diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index 9131267091..3c7b5d6817 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml | |||
@@ -1823,8 +1823,8 @@ do_unpack unpacks the source, and S must be set | |||
1823 | </para> | 1823 | </para> |
1824 | </section> | 1824 | </section> |
1825 | 1825 | ||
1826 | <section id='new-recipe-compiling-the-recipe'> | 1826 | <section id='new-recipe-compilation'> |
1827 | <title>Compiling the Recipe</title> | 1827 | <title>Compilation</title> |
1828 | 1828 | ||
1829 | <para> | 1829 | <para> |
1830 | During a build, the <filename>do_compile</filename> task | 1830 | During a build, the <filename>do_compile</filename> task |