diff options
Diffstat (limited to 'docs/manual/prerequisite.txt')
-rw-r--r-- | docs/manual/prerequisite.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/manual/prerequisite.txt b/docs/manual/prerequisite.txt index 78ce4364e7..729d64c04e 100644 --- a/docs/manual/prerequisite.txt +++ b/docs/manual/prerequisite.txt @@ -76,4 +76,7 @@ development context (further details: refer to xref:download-infra[]). ** The +jar+ tool * Documentation generation tools: -** +asciidoc+ +** +asciidoc+, version 8.6.3 or higher +** +w3m+ +** +python+ with the +argparse+ module (automatically present in 2.7+ and 3.2+) +** +dblatex+ (required for the pdf manual only) |