diff options
| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2014-08-19 21:41:48 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2014-08-21 15:39:32 +0200 |
| commit | 47c1c50134482133b65bf56a4a6b77890a62543e (patch) | |
| tree | ac18ee170cf83fc2e4460b2a01ae040f60bd2040 /docs/manual/make-tips.txt | |
| parent | 77007ad95075c013c0c418b13b291645bf631c33 (diff) | |
| download | buildroot-47c1c50134482133b65bf56a4a6b77890a62543e.tar.gz buildroot-47c1c50134482133b65bf56a4a6b77890a62543e.zip | |
manual/user guide: move tip on configuration searches
This patch moves the tip on searching in the configuration editors into the
section 'Buildroot configuration', which is more logical.
The wording of that section is slightly adapted to fit this new part.
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
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: -------------------- |
