diff options
Diffstat (limited to 'docs/manual/make-tips.txt')
| -rw-r--r-- | docs/manual/make-tips.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txt index 6d7aa77fdb..027eddf83c 100644 --- a/docs/manual/make-tips.txt +++ b/docs/manual/make-tips.txt @@ -6,16 +6,6 @@ This is a collection of tips that help you make the most of Buildroot. -.Configuration searches: - -The +make *config+ commands offer a search tool. Read the help message in -the different frontend menus to know how to use it: - -* in _menuconfig_, the search tool is called by pressing +/+; -* in _xconfig_, the search tool is called by pressing +Ctrl+ + +f+. - -The result of the search shows the help message of the matching items. - .Display all commands executed by make: -------------------- |
