changeset 48071:6be0f6ca3d49

Add xref to Make manual.
author Richard M. Stallman <rms@gnu.org>
date Tue, 29 Oct 2002 18:18:41 +0000
parents 272d4a04afac
children 7b2b53ef44d7
files man/building.texi
diffstat 1 files changed, 7 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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