diff options
| -rw-r--r-- | doc/manual/installation.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 88f76752e294..bbcc057f1d04 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -116,6 +116,8 @@ a source distribution.</para> <itemizedlist> + <listitem><para>GNU Make.</para></listitem> + <listitem><para>A fairly recent version of GCC/G++. Version 2.95 and higher should work. Clang will also work.</para></listitem> @@ -217,7 +219,8 @@ $ ./configure <replaceable>options...</replaceable> $ make $ make install</screen> -</para> +Nix requires GNU Make so you may need to invoke +<command>gmake</command> instead.</para> <para>When building from the Git repository, these should be preceded by the command: |