From c47cc38215383fc6f8bf3d73b441ec6489063d2f Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sat, 12 Mar 2005 18:01:05 +0000 Subject: [PATCH] Don't suggest to run make in the background. --- doc/compiling | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/compiling b/doc/compiling index 275392b4b..a5693169f 100644 --- a/doc/compiling +++ b/doc/compiling @@ -24,8 +24,8 @@ Constructing Binaries to do this once before the first build. You may run this again if you make significant changes to the code (including new files, etc.) - Second, Run "make &" at the top level. - + Second, Run "make " at the top level. + Installing Info Pages The INFO pages aren't run as a part of the normal make session. -- 2.43.0