From eb96263ab9be4c629488e2499d9e9f8a20017cdd Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Sun, 19 Jun 2022 17:31:29 +0200 Subject: [PATCH] doc --- src/doc/user/usermanual.html | 117 +++++++++++++++++++++++++---------- src/doc/user/usermanual.xml | 98 +++++++++++++++++------------ 2 files changed, 144 insertions(+), 71 deletions(-) diff --git a/src/doc/user/usermanual.html b/src/doc/user/usermanual.html index 0e68b44a..ee2aabfd 100644 --- a/src/doc/user/usermanual.html +++ b/src/doc/user/usermanual.html @@ -8351,38 +8351,69 @@ hasextract = False

The following prerequisites are described in broad - terms and not as specific package names (which will - depend on the exact platform). The dependencies should be - available as packages on most common Unix derivatives, + terms and Debian package names. The dependencies should + be available as packages on most common Unix derivatives, and it should be quite uncommon that you would have to - build one of them.

+ build one of them. Finding the right package name for + other systems is left to the sagacity of the reader.

If you do not need the GUI, you can avoid all GUI dependencies by disabling its build. (See the configure section further).

-

The shopping list:

+

The shopping list follows: