diff options
Diffstat (limited to 'scripts/Menuconfig')
| -rw-r--r-- | scripts/Menuconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/Menuconfig b/scripts/Menuconfig index b1d21bb0b666..b48d36bcb974 100644 --- a/scripts/Menuconfig +++ b/scripts/Menuconfig @@ -376,6 +376,7 @@ ${var}:\\ /^#/b /^[^ ]/q s/^ // + /<file:\\([^>]*\\)>/s//\\1/g p }" Documentation/Configure.help) |