diff options
Diffstat (limited to 'DOCS')
-rw-r--r-- | DOCS/xml/en/install.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/DOCS/xml/en/install.xml b/DOCS/xml/en/install.xml index 10d266f31e..257ca635c3 100644 --- a/DOCS/xml/en/install.xml +++ b/DOCS/xml/en/install.xml @@ -26,6 +26,11 @@ answers. <itemizedlist> <listitem><para> + <emphasis role="bold">POSIX system</emphasis> - You need a POSIX-compatible + shell and POSIX-compatible system tools like grep, sed, awk, etc. in your + path. +</para></listitem> +<listitem><para> <emphasis role="bold">GNU make</emphasis> 3.81 or later </para></listitem> <listitem><para> |