comparison man/building.texi @ 48071:6be0f6ca3d49

Add xref to Make manual.
author Richard M. Stallman <rms@gnu.org>
date Tue, 29 Oct 2002 18:18:41 +0000
parents 36ac28961e4f
children cbcf1db3b1f0
comparison
equal deleted inserted replaced
48070:272d4a04afac 48071:6be0f6ca3d49
66 directory is used as the working directory for the execution of the 66 directory is used as the working directory for the execution of the
67 command; normally, therefore, the compilation happens in this 67 command; normally, therefore, the compilation happens in this
68 directory. 68 directory.
69 69
70 @vindex compile-command 70 @vindex compile-command
71 When the shell command line is read, the minibuffer appears containing 71 When the shell command line is read, the minibuffer appears
72 a default command line, which is the command you used the last time you 72 containing a default command line, which is the command you used the
73 did @kbd{M-x compile}. If you type just @key{RET}, the same command 73 last time you did @kbd{M-x compile}. If you type just @key{RET}, the
74 line is used again. For the first @kbd{M-x compile}, the default is 74 same command line is used again. For the first @kbd{M-x compile}, the
75 @samp{make -k}. The default compilation command comes from the variable 75 default is @samp{make -k}, which is correct most of the time for
76 nontrivial programs. (@xref{Make,, Make, make, GNU Make Manual}.)
77 The default compilation command comes from the variable
76 @code{compile-command}; if the appropriate compilation command for a 78 @code{compile-command}; if the appropriate compilation command for a
77 file is something other than @samp{make -k}, it can be useful for the 79 file is something other than @samp{make -k}, it can be useful for the
78 file to specify a local value for @code{compile-command} (@pxref{File 80 file to specify a local value for @code{compile-command} (@pxref{File
79 Variables}). 81 Variables}).
80 82