diff options
author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-07-01 18:07:00 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-07-01 18:07:00 +0200 |
commit | 7ca9fc3170de1a41fbcbc5dfdc2838c75bff72a5 (patch) | |
tree | 414aac66ba7b23b1f9e4beca5fa02bd83dd90202 /docs/manual/contribute.txt | |
parent | afdb545b2847d2a922ee202775998d4658900fec (diff) | |
download | buildroot-7ca9fc3170de1a41fbcbc5dfdc2838c75bff72a5.tar.gz buildroot-7ca9fc3170de1a41fbcbc5dfdc2838c75bff72a5.zip |
tools: rename to 'utils'
After some discussion, we found out that "tools" has the four first
letters identical to the "toolchain" subfolder, which makes it a bit
unpractical with tab-completion. So, this commit renames "tools" to
"utils", which is more tab-completion-friendly.
This has been discussed with Arnout and Yann.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'docs/manual/contribute.txt')
-rw-r--r-- | docs/manual/contribute.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/contribute.txt b/docs/manual/contribute.txt index c10587726c..a58945f395 100644 --- a/docs/manual/contribute.txt +++ b/docs/manual/contribute.txt @@ -295,7 +295,7 @@ information). This tool reads your patches and outputs the appropriate +git send-email+ command to use: --------------------- -$ ./tools/get-developers outgoing/* +$ ./utils/get-developers outgoing/* --------------------- Use the output of +get-developers+ to send your patches: |