# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1035915521 0
# Node ID 6be0f6ca3d4966ba473f9b3081edb9ca23279b20
# Parent  272d4a04afac5bf4aae60e579591c769b8871512
Add xref to Make manual.

diff -r 272d4a04afac -r 6be0f6ca3d49 man/building.texi
--- a/man/building.texi	Tue Oct 29 18:17:50 2002 +0000
+++ b/man/building.texi	Tue Oct 29 18:18:41 2002 +0000
@@ -68,11 +68,13 @@
 directory.
 
 @vindex compile-command
-  When the shell command line is read, the minibuffer appears containing
-a default command line, which is the command you used the last time you
-did @kbd{M-x compile}.  If you type just @key{RET}, the same command
-line is used again.  For the first @kbd{M-x compile}, the default is
-@samp{make -k}.  The default compilation command comes from the variable
+  When the shell command line is read, the minibuffer appears
+containing a default command line, which is the command you used the
+last time you did @kbd{M-x compile}.  If you type just @key{RET}, the
+same command line is used again.  For the first @kbd{M-x compile}, the
+default is @samp{make -k}, which is correct most of the time for
+nontrivial programs.  (@xref{Make,, Make, make, GNU Make Manual}.)
+The default compilation command comes from the variable
 @code{compile-command}; if the appropriate compilation command for a
 file is something other than @samp{make -k}, it can be useful for the
 file to specify a local value for @code{compile-command} (@pxref{File