dev-manual: Updated text to indicate patch files can end differently

Patch files can end with compressed suffixes such as
diff.gz and patch.bz2.

Reported-by: Robert P. J. Day <rpjday@crashcourse.ca>
(From yocto-docs rev: 69993710d1466dddc804c33c1d76f46d0982d28f)

Signed-off-by: Scott Rifenbark <scott.m.rifenbark@intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>

1 files changed, 5 insertions, 2 deletions

diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 658919dfc0..2319be1d84 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -1885,8 +1885,11 @@
 
             <para>
                 The previous example also specifies a patch file.
-                Patch files are files whose names end in
-                <filename>.patch</filename> or <filename>.diff</filename>.
+                Patch files are files whose names usually end in
+                <filename>.patch</filename> or <filename>.diff</filename> but
+                can end with compressed suffixes such as
+                <filename>diff.gz</filename> and
+                <filename>patch.bz2</filename>, for example.
                 The build system automatically applies patches as described
                 in the
                 "<link linkend='new-recipe-patching-code'>Patching Code</link>" section.