From 49ba5d16b31a973b0039a9de6ab9032ebbd550f8 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Tue, 29 Oct 2002 18:18:41 +0000 Subject: [PATCH] Add xref to Make manual. --- man/building.texi | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/man/building.texi b/man/building.texi index 8b39257c22d..5bc95f77789 100644 --- a/man/building.texi +++ b/man/building.texi @@ -68,11 +68,13 @@ command; normally, therefore, the compilation happens in this 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 -- 2.39.2