diff options
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: |
