[xen master] docs/misc: fix document typo

[patchbot@xxxxxxx]

commit 8301187452f7fcc25cff2148a02c2dbd76300f00
Author:     Yang Xu <yang.xu@xxxxxxxxxxxx>
AuthorDate: Thu Jul 20 10:03:53 2023 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Thu Jul 20 10:03:53 2023 +0200

    docs/misc: fix document typo
    
    Fix document typo for more accurate meaning
    
    Signed-off-by: Yang Xu <yang.xu@xxxxxxxxxxxx>
    Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 docs/misc/xen-makefiles/makefiles.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/misc/xen-makefiles/makefiles.rst 
b/docs/misc/xen-makefiles/makefiles.rst
index 04bc72601c..bc2f932fbc 100644
--- a/docs/misc/xen-makefiles/makefiles.rst
+++ b/docs/misc/xen-makefiles/makefiles.rst
@@ -68,7 +68,7 @@ Descending down in directories
 
        It is good practice to use a `CONFIG_` variable when assigning directory
        names. This allows the build system to totally skip the directory if the
-       corresponding `CONFIG_` option is 'y'.
+       corresponding `CONFIG_` option is not set to 'y'.
 
 Compilation flags
 -----------------
--
generated by git-patchbot for /home/xen/git/xen.git#master