diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 88f76752e2..bbcc057f1d 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -116,6 +116,8 @@ a source distribution. + GNU Make. + A fairly recent version of GCC/G++. Version 2.95 and higher should work. Clang will also work. @@ -217,7 +219,8 @@ $ ./configure options... $ make $ make install - +Nix requires GNU Make so you may need to invoke +gmake instead. When building from the Git repository, these should be preceded by the command: