diff options
| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2013-10-18 22:31:25 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-11-01 16:41:04 +0100 |
| commit | 6fb84874b2545d25fdb85b4b2a0a5c8fac1c6305 (patch) | |
| tree | 6ecc9ee5aae6faf44de5a2b2b37dcd085775816a /docs/manual/make-tips.txt | |
| parent | a2ffd684924880f3a59d2ed875afb8cc8d2ed823 (diff) | |
| download | buildroot-6fb84874b2545d25fdb85b4b2a0a5c8fac1c6305.tar.gz buildroot-6fb84874b2545d25fdb85b4b2a0a5c8fac1c6305.zip | |
manual generation: check dependencies first
To generate the manual, you need a few tools. If these are not present,
pretty cryptic error messages are given.
This patch adds a simple check for these dependencies, before attempting to
build the manual.
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Samuel Martin <s.martin49@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 | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txt index 31a88bf0b0..0159ffe7ce 100644 --- a/docs/manual/make-tips.txt +++ b/docs/manual/make-tips.txt @@ -64,9 +64,8 @@ To generate the manual: The manual outputs will be generated in 'output/docs/manual'. .Notes -- +asciidoc+ is required to build the documentation (see: +- A few tools are 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: |
