diff options
Diffstat (limited to 'docs/manual/make-tips.txt')
| -rw-r--r-- | docs/manual/make-tips.txt | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txt index b4a9c123da..c3fd155721 100644 --- a/docs/manual/make-tips.txt +++ b/docs/manual/make-tips.txt @@ -29,8 +29,7 @@ The result of the search shows the help message of the matching items. $ make help -------------------- -.Not all targets are always available, - +Not all targets are always available, some settings in the +.config+ file may hide some targets: * +linux-menuconfig+ and +linux-savedefconfig+ only work when @@ -54,12 +53,32 @@ and target trees, the images and the toolchain): $ make clean -------------------- +.Generating the manual: + +The present manual sources are located in the 'docs/manual' directory. +To generate the manual: + +--------------------------------- + $ make manual-clean + $ make manual +--------------------------------- + +The manual outputs will be generated in 'output/docs/manual'. + +.Notes +- +asciidoc+ is required to build the documentation (see: + xref:requirement-optional[]). +- There is a known issue that you can't build it under Debian Squeeze. + +.Reseting Buildroot for a new target: + To delete all build products as well as the configuration: -------------------- $ make distclean -------------------- -Note that if +ccache+ is enabled, running +make clean+ or +distclean+ does +.Notes +If +ccache+ is enabled, running +make clean+ or +distclean+ does not empty the compiler cache used by Buildroot. To delete it, refer to xref:ccache[]. |
