From d2a50dda7d7619b3e061009cc11791052de06cc4 Mon Sep 17 00:00:00 2001 From: "A.R.D" Date: Fri, 9 Aug 2013 12:16:47 +0200 Subject: [PATCH] manual: tips: document how to build the manual Signed-off-by: A.R.D. Cc: Willy Lambert Signed-off-by: Samuel Martin Signed-off-by: Thomas Petazzoni --- docs/manual/make-tips.txt | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txt index b4a9c123da..e87bbf798e 100644 --- a/docs/manual/make-tips.txt +++ b/docs/manual/make-tips.txt @@ -54,6 +54,23 @@ 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. + To delete all build products as well as the configuration: -------------------- -- 2.30.2